TY  - BOOK
AU  - Neuhold, Erich J.
TI  - Formal Description of Programming Concepts
SN  - 3540539611
PY  - 1991///
CY  - New York
PB  - Springer-Verlag
ER  -