Craciun, F., Qin, S., Chin, W., Liu, S., Maibaum, T., & Araki., K. (2008, October). A Formal Soundness Proof of Region-based Memory Management for Object-Oriented Paradigm. Presented at 10th International Conference on Formal Engineering Methods (ICFEM 2008), Kitakyushu, Japan