TY  - BOOK
AU  - Broy,M.
AU  - Wirsing,M.
TI  - Methods of programming: selected papers on the CIP-Project 
AV  - QA76.758 M48
PY  - 1991///
CY  - Berlin
PB  - Springer-Verlag
KW  - Software engineering
ER  -