TY  - RPRT
TI  - Ownership Confinement Ensures Representation Independence for Object-Oriented Programs
AU  - Anindya Banerjee
AU  - David A. Naumann
PY  - 2002
UR  - https://arxiv.org/abs/cs/0212003
ID  - cs/0212003
ER  -