1. Martín Abadi and Luca Cardelli. A semantics of object types. InProceedings Ninth Annual IEEESymposium on Logic in Computer Science, LICS'94, pages 332-341. IEEE Computer Society Press, 1994.
2. Martín Abadi and Luca Cardelli.A Theory of Objects. Springer, 1996.
3. Martín Abadi, Luca Cardelli, and Ramesh Viswanathan. An interpretation of objects and object types. InProceedings 23rd Symposium on Principles of Programming Languages, POPL'96, pages 396-409. ACM Press, 1996.
4. Martín Abadi and K. Rustan M. Leino. A logic of object-oriented programs. In Nachum Dershowitz, editor,Verification: Theory and Practice. Essays Dedicated to Zohar Manna on the Occasion of his 64th Birthday, Lecture Notes in Computer Science, pages 11-41. Springer, 2004.
5. Amal Ahmed, Derek Dreyer, and Andreas Rossberg. State-dependent representation independence. In Zhong Shao and Benjamin C. Pierce, editors,Proceedings 36th Symposium on Principles of Programming Languages, POPL'09, pages 340-353, 2009.