TY  - BOOK
AU  - NEUHOLD,ERICH J (ED), PAUL,MANFRED (ED)
TI  - FORMAL DESCRIPTION OF PROGRAMMING CONCEPTS
SN  - NCST
U1  - 510 
PY  - 1991///
CY  - BERLIN
PB  - SV
N1  - BR-1021
ER  -