Rechnergestützte graphische Spezifikation mit Kanal-Instanz-Netzen - Igel, Burkhard; Jungfermann, Marion (1986)