TY  - BOOK
AU  - Neuhold,Erich J (Ed)
TI  - Formal description of programming concepts
PY  - 1991///
CY  - London: 
PB  - Springer, 
KW  - Computer
KW  - Programming
ER  -