A theory of objects - Abadi, Martin; Luca Cardelli (New York Springer, 1998)
Keywords: Object--Oriented programming (computer science)