Krieg-Brucker, B Concrete and abstract specification, modularization and program development by transformation B. Krieg-Brucker - Munchen Universitat Munchen 1978 - 178 p fig 20 cm Lucrarea este multigrafiata