Theoretical aspects of object-oriented programming : types, semantics, and language design /
Gunter, Carl A.
Mitchell, John C.
Cambridge, Mass. ; London : MIT Press,
c1994.