TY  - BOOK
AU  - Pierce Benjamin C
TI  - Types and programming languages
SN  - 0-262-16209-1
U1  - 005.13 
PY  - 2002///
CY  - Cambridge
PB  - MIT Press
KW  - Programming languages(Electronic computers)
ER  -