TY  - BOOK
AU  - Gunter, Carl A.
AU  - Mitchell,John C.
TI  - Theoretical aspects of object-oriented programming: types, semantics, and language design 
T2  - Foundations of computing
SN  - 026207155X
AV  - QA76.64 .T49 1994
U1  - 005.1 20
PY  - 1994///
CY  - Cambridge, Mass.
PB  - MIT Press
KW  - Object-oriented programming (Computer science)
KW  - Programming languages (Electronic computers)
N1  - Includes bibliographical references
ER  -