TY  - BOOK
AU  - Mitchell John C
TI  - Foundations for programming languages
SN  - 0-262-13321-0
U1  - 005.13 
PY  - 1996///
CY  - Cambridge
PB  - MIT Press
KW  - Computer programming
KW  - Programming languages
ER  -