TY  - BOOK
AU  - Gunter, Carl A
AU  - Mitchell, M
TI  - Theoretical Aspects of Object-Oriented Programming: Types, Semantics, and Language Design
SN  - 026207155x
U1  - 005.1 
PY  - 1994///
CY  - Cambridge
PB  - The MIT Press
KW  - Object oriented programming
ER  -