TY  - GEN
AU  - Chroust,Gerhard
AU  - Neuhold,Erich J.
ED  - IFIP Technical Committee 2--Programming.
TI  - 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 
SN  - 0444878882 (Elsevier) :
U1  - 005.1,FOR 
PY  - 1985///
CY  - Amsterdam, New York, New York, N.Y., U.S.A.
PB  - North-Holland, Sole distributors for the U.S.A. and Canada, Elsevier Science Pub. Co.
KW  - Zemanek, Heinz.
KW  - Computer programming
KW  - Congresses
N1  -  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).
ER  -