TY - BOOK AU - Neuhold, E.J. AU - Neuhold, E.J. AU - Paul, M TI - Formal discription of programming concepts PY - 1991/// CY - Berlin PB - Springer -Verlag KW - Formal discription of programming concepts ER -