Ein Beitrag zur Entwicklung entwurfsunterstützender Spezifikationssprachen für Automatisierungssysteme - Koch, Wilfried 1949- (1980)