TY  - BOOK
AU  - Benjamin C Pierce
TI  - Types and programming languages
SN  - 81-203-2462-5
U1  - 001.6424 Pie 
PY  - 2002///
CY  - Prentice Hall of India, New Delhi
ER  -