Formal semantics of Programming languages / 
Edited by Randall Rustin. 
 - Englewood, Cliffs, N.J. :  Prentice-Hall,  1972. 
 - Prentice-Hall series in automatic computation .
<br/><br/>Includes references. 
<br/><br/><label>ISBN: </label>0133290603 (hbk.) 
<br/><br/><label>LCCN: </label>75039372  
<br/><br/><label>Subjects--Topical Terms: </label><br/>Programming languages (Electronic computers)--Semantics--Congresses.
<br/><br/><label>Dewey Class. No.: </label>001.6424  / RUS