TY  - BOOK
AU  - PIERCE, B.C.
TI  - Types and programming languages
SN  - 0000262162091
U1  - 005.131 
PB  - the mit press
KW  - programming languages
ER  -