Methoden, Sprachen und Werkzeuge zur Software-Spezifikation. Eine Übersicht - Racke, Wilhelm F. (Interner Bericht. Fachbereich Informatik, Univ. Kaiserslautern, 1983)