@misc{indiciae3ea32f31b414,
  title = {Ownership Confinement Ensures Representation Independence for Object-Oriented Programs},
  author = {Anindya Banerjee and David A. Naumann},
  year = {2002},
  url = {https://arxiv.org/abs/cs/0212003},
  note = {Source identifier: cs/0212003}
}