Mitchell, John C. <br/><br/>
Foundations for programming languages / 
John C. Mitchell 
 - Cambridge, Mass. :  The MIT Press,  c1996 
 - xix, 846 p. ;  24 cm. 
 - Foundations of computing series .
<br/><br/><label>ISBN: </label>0262133210 
<br/><br/><label>Subjects--Topical Terms: </label><br/>Programming languages (Electronic computers).
<br/><br/><label>Dewey Class. No.: </label>005.131  / MIT