TY  - GEN
AU  - Krieg-Brucker, B
TI  - Concrete and abstract specification, modularization and program development by transformation
PY  - 1978///
CY  - Munchen
PB  - Universitat Munchen
N1  - Lucrarea este multigrafiata
ER  -