Theoretical aspects of object-oriented programming : types, semantics, and language design - Gunter, Carl A.; Mitchell, John C. (Cambridge, Mass. : MIT Press, 1994)
Includes bibliographical references.
Keywords: Object-oriented programming (Computer science); Programming languages (Electronic computers)