1. Abadi, M., Cardelli, L.: A Theory of Objects. Springer, Heidelberg (1996)
2. Abadi, M., Leino, K.R.M.: A logic of object-oriented programs. In: Dershowitz, N. (ed.) Verification: Theory and Practice, pp. 11–41. Springer, Heidelberg (2004)
3. Abramsky, S., Honda, K., McCusker, G.: A fully abstract game semantics for general references. In: LICS 1998: Proceedings of the 13th Annual IEEE Symposium on Logic in Computer Science, p. 334. IEEE Computer Society, Los Alamitos (1998)
4. Apt, K.R.: Ten Years of Hoare’s Logic: A Survey – Part I. TOPLAS 3(4), 431–483 (1981)
5. Calcagno, C., O’Hearn, P.W.: A logic for objects. Slides of a Talk (2001)