Christian Köhler. Sind die Spezifikationsmethoden heute praktisch einsetzbar?. In Christiane Floyd, Hermann Kopetz, editors, Software Engineering - Entwurf und Spezifikation, Tagung II/1980 mit Workshop des German Chapter of the ACM vom 12. bis 16.9.1980 in Berlin. Volume 5 of Berichte des German Chapter of the ACM, pages 306-309, Teubner, 1980.
Abstract is missing.