TY  - BOOK
AU  - PIERCE BENJAMIN C
TI  - TYPES AND PROGRAMMING LANGUAGES
U1  - 005.133 PIE 
PY  - 2004///
CY  - New Delhi
PB  - Prentice-Hall of India
ER  -