1. Banerjee, A., Naumann, D.A.: Ownership confinement ensures representation independence for object-oriented programs. J. ACM 52(6), 894–960 (2005)
2. Bannwart, F.: Changing software correctly. Technical Report 509, Department of Computer Science, ETH Zürich (2006)
3. Lecture Notes in Computer Science;M. Barnett,2005
4. Bergstein, P.L.: Object-preserving class transformations. In: OOPSLA, pp. 299–313. ACM Press, New York (1991)
5. Clarke, D.G., Potter, J.M., Noble, J.: Ownership types for flexible alias protection. In: OOPSLA, pp. 48–64. ACM Press, New York (1998)