Reynolds, John C <br/><br/>
Theories of programming languages 
John C. Reynolds 
 - Cambridge  Cambridge University Press  c1998 
 - xii, 500 p. ; 26 cm 
<br/><br/> Includes bibliographical references (p. 467-482) and index 
<br/><br/><label>ISBN: </label>9780521594141 
<br/><br/><label>ISSN: </label>98020462 
<br/><br/><label>Subjects--Topical Terms: </label><br/>Programming languages (Electronic computers)
<br/><br/><label>Dewey Class. No.: </label>005.13 REY