TY  - GEN
AU  - Neuhold, E. J. [ed.]
AU  - Chroust, G. [ed.]
ED  - IFIP TC2 Working Conference on the Role of Abstract Models in Information Processing
TI  - Formal models in programming: proceedings..
SN  - 0444878882
U1  - 001.642 
PY  - 1985///
CY  - Amsterdam
PB  - North-Holland
KW  - Electronic digital computers -- Programming -- Congresses
ER  -