Formal models in programming  proc. of the FIP TC2 Working Conference on the Role of Abstract Models in Information Processing Vienna, Austria, 30 Jan.-1 Feb., 1985 / 
edited by E. J. Neuhold and G. Chroust 
 - Amsterdam :  North-Holland,  1985 
 - 425 p. :  ill. ;  23 cm. 
<br/><br/><label>ISBN: </label>0444878882 
<br/><br/><label>LCCN: </label>85-25214 
<br/><br/><label>Subjects--Personal Names: </label><br/>Zemarnek, Heinz
<br/><br/><label>Subjects--Topical Terms: </label><br/>Electronic digital computers--Programming--Congresses