Beitrag zur Entwicklung eines rechnergestützten Spezifikationssystems zur Anwendung im Entwurf von Automatisierungssystemen. - Stanislav Drábek (1987)