TY  - BOOK
AU  - Neuhold, E J
AU  - Chroust, G
TI  - Formal models in programming
PY  - 1985///
CY  - Amsterdam
PB  - North-Holland Publishing Company
KW  - Computer programming
KW  - Computer software
KW  - Computer science
KW  - Formal models in programming
ER  -