TY  - BOOK
AU  - Bauer F L
AU  -  Berghammer R
AU  -  Broy M
TI  - Munich project CIP
T2  - Lecture notes in computer science; 18
U1  - D65,8(B)92, M5.1 
PY  - 1985///
CY  - Berlin
PB  - Springer-verlag       
KW  - Computer science
N1  - Appendix 235-275p.; Bibliography 228-234p
ER  -