TY  - BOOK
AU  - Neuhold, Erich J., ed
AU  - Paul, Manfred., ed
TI  - Formal description of programming concepts
SN  - 3540539611
U1  - 005.1 
PY  - 1991///
CY  - New York
PB  - Springer Verlag
ER  -