TY  - BOOK
AU  - Abadi, Martin
AU  - Luca Cardelli
TI  - A theory of objects
U1  - 005.131 
PY  - 1998///
CY  - New York
PB  - Springer
KW  - Object--Oriented programming (computer science)
ER  -