Universität Dortmund, Fachbereich Informatik, Forschungsbericht Nr. 308, 1989. In German.
Abstract: In dieser Arbeit wird ein Vorschlag gemacht, wie in semiformaler Weise Spezifikationen für komplexe Systeme mit Hilfe von Kanal/Instanz-Netzen erstellt werden können. Ein graphischer Editor wird vorgestellt, der die vorgeschlagene Methodik adäquat unterstützt.