Peter Schnupp Spezifikation für ein Spezifikationswerkzeug. 75-100 1981 conf/programmier/1981 Werkzeuge der Programmiertechnik db/conf/programmier/programmier1981.html#Schnupp81