TY  - BOOK
AU  - Pierce, Banjamin C
AU  - 
TI  - Types and programming langauges
SN  - 9780262162098
PY  - 2002///
PB  - MIT
ER  -