Modulare Spezifikation von Copilern - Hohberg, Bodo (Informatik-Preprint / Humboldt-Universität zu Berlin, Fachbereich Informatik, 1992)