Reynolds, John C.  <br/><br/>
Theories of programming languages  
Reynolds, John C.  
 -   Cambridge  2009 
<br/><br/><label>Dewey Class. No.: </label>BK  / T09 REY