Mitchell, John C.  <br/><br/>
Foundations for programming languages  
Mitchell, John C.  
 -   MIT Press  2000 
<br/><br/><label>Dewey Class. No.: </label>BK  / T00 MIT