Manfred Broy. Zur Spezifikation von Programmen für die Textverarbeitung. In Peter R. Wossidlo, editor, Textverarbeitung und Informatik, Fachtagung der GI, Bayreuth, 28.-30. Mai 1980. Volume 30 of Informatik-Fachberichte, pages 75-93, Springer, 1980.
Abstract is missing.