A Theory of object - Abadi, Martin; Cardelli, Luca. (New York: Springer-Verlag, 1996)
Includes bibliographical references & index.
Keywords: Object-oriented programming (Computer Science).