TY - GEN TI - Report on a wide spectrum language for program specification and development PY - 1981/// CY - Munchen PB - Technische Universitat Munchen N1 - Contine bibliografie; Lucrarea este multigrafiata ER -