TY  - BOOK
AU  - Pierce, Benjamin C., 
TI  - Types and Programming Languages 
SN  - 8120324625
U1  - 005.13 
PY  - 2002///
CY  - New Delhi
PB  - Prentice-Hall of India Private Limited, 
N1  - This book is having Appendices on page no 491.
ER  -