Peter Schnupp. Spezifikation für ein Spezifikationswerkzeug. In Gerhard Goos, editor, Werkzeuge der Programmiertechnik, GI-Arbeitstagung, Karlsruhe, 16.-17. März 1981, Proceedings. Volume 43 of Informatik-Fachberichte, pages 75-100, Springer, 1981.
Abstract is missing.