TY - GEN AU - Pepper, P AU - Partsch, H TI - On the freedback between specifications and implementations: an example PY - 1980/// CY - Munchen PB - Technische Universitat Munchen N1 - Contine bibliografie; Lucrarea este multigrafiata ER -