Pierce, Benjamin C <br/><br/>
Types and programing languages 

 -  New Delhi, Prentice Hall  2004 
 - 623