TY  - BOOK
AU  - Broy Manfred
AU  - Schmidt Gunther
TI  - Theoretical foundations of programming methodology
U1  - 005.1 
PY  - 1982///
CY  - Dordrecht
PB  - D Reidel
KW  - Computer Programming
ER  -