Gunter, C. A., & Mitchell, J. C. (1994). Theoretical aspects of object-oriented programming: Types, semantics, and language design. MIT Press.
Chicago Style (17th ed.) CitationGunter, Carl A., and John C. Mitchell. Theoretical Aspects of Object-oriented Programming: Types, Semantics, and Language Design. Cambridge, MA: MIT Press, 1994.
MLA (8th ed.) CitationGunter, Carl A., and John C. Mitchell. Theoretical Aspects of Object-oriented Programming: Types, Semantics, and Language Design. MIT Press, 1994.
Warning: These citations may not always be 100% accurate.