Anindya Banerjee David A. Naumann Ownership confinement ensures representation independence for object-oriented programs. 894-960 2005 52 J. ACM 6 http://doi.acm.org/10.1145/1101821.1101824 db/journals/jacm/jacm52.html#BanerjeeN05