Formal models in programming :  proceedings of the IFIP TC2 Working Conference on the Role of Abstract Models in Information Processing, Vienna, Austria, 30 January - 1 February 1985 / 
edited by E.J. Neuhold and G. Chroust. 
 - Amsterdam ;  New York :  New York, N.Y., U.S.A. :  North-Holland ;  Sole distributors for the U.S.A. and Canada, Elsevier Science Pub. Co.,  1985. 
 - xix, 425 p. :  ill. ;  23 cm. 
<br/><br/>about the architecture of my life (Page-1), Awards of Heinz Zemanek (Page -9), publications by Zemanek (Page-11), Subject areas of publications (Page-27), Invited and submitted papers (Page-31).  
<br/><br/><label>ISBN: </label>0444878882 (Elsevier) : 
<br/><br/><label>LCCN: </label>85025214 
<br/><br/><label>Subjects--Personal Names: </label><br/>Zemanek, Heinz.
<br/><br/><label>Subjects--Topical Terms: </label><br/>Computer programming--Congresses.
<br/><br/><label>Dewey Class. No.: </label>005.1,FOR