TY  - BOOK
AU  - Broy M
AU  - Wirsing M
TI  - Methods of programming
U1  - 005.1 
PY  - 1991///
CY  - Berlin
PB  - Springer Verlag
KW  - Computer Programming
N1  - Selected papers on the CIP-Project
ER  -