Pierce, Benjamin C.,  <br/><br/>
Types and Programming Languages  
Benjamin C. Pierce  
 - New Delhi :  Prentice-Hall of India Private Limited,   c2002. 
 - xxi, 623 p.:  [58] 
<br/><br/>This book is having Appendices on page no 491.  
<br/><br/><label>ISBN: </label>8120324625 
<br/><br/><label>Dewey Class. No.: </label>005.13  / PIE/TYP