TY  - BOOK
AU  - Neuhold, Erich J.
AU  - Paul, M. Eds.
TI  - Formal Description of Programming Concepts
SN  - 3-540-53961-1
CY  - Berlin
KW  - Programming Concepts
ER  -