Manfred Broy Zur Spezifikation von Programmen für die Textverarbeitung. 75-93 1980 conf/ir/1980 Textverarbeitung und Informatik db/conf/ir/text1980.html#Broy80 https://doi.org/10.1007/978-3-642-67700-7_6