TY  - BOOK
AU  - Neuhold, E.J. ed. & Chroust, G.
TI  - Formal models in programming
SN  - 0-444-87888-2
U1  - 001.6424 Neu/Chr 
PY  - 1985///
CY  - Ifip, North-holland
ER  -