TY  - BOOK
AU  - Gunter, Carl A
AU  - Mitchell, John C
TI  - Theoretical aspects of object-oriented programming: types, semantics, and language design
SN  - 0-262-07155-X
U1  - 005.117 
PY  - 1994///
CY  - Cambridge
PB  - The MIT Press
KW  - Object-oriented programming(computer science)
KW  - Programming languages(electronic computer)
ER  -