Werner Simonsmeier Universelle Spezifikationen? - Bestimmungsfaktoren für die Brauchbarkeit von Spezifikationsmethoden. 275-276 1980 conf/se/1980 Software Engineering db/conf/se/se1980.html#Simonsmeier80a