TY  - BOOK
ED  - IFIP TC2 Working Conference on the Role of Abstract Models in Information Processing
ED  - Neuhold, Erick J.
ED  - Chroust, Gerhard, 1941-
ED  - IFIP Technical Committee 2 -- Programming
TI  - 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 
SN  - 0444878882
PY  - 1985///
CY  - Amsterdam
PB  - North-Holland
KW  - Zemarnek, Heinz
KW  - Electronic digital computers
KW  - Programming
KW  - Congresses
ER  -