Gunter, C. A., & Mitchell, J. C. (1994). Theoretical aspects of object-oriented programming: Types, semantics, and language design. MIT.
Cita Chicago Style (17a ed.)Gunter, Carl A., y John C. Mitchell. Theoretical Aspects of Object-oriented Programming: Types, Semantics, and Language Design. Cambridge (Massachusetts) [etc.]: MIT, 1994.
Cita MLA (9a ed.)Gunter, Carl A., y John C. Mitchell. Theoretical Aspects of Object-oriented Programming: Types, Semantics, and Language Design. MIT, 1994.
Precaución: Estas citas no son 100% exactas.