Ein Protokollentwurfs- und -spezifikationsverfahren auf Basis einer erweiterten Zustandsdiagrammtechnik in Listenform mit Vorverarbeitung von Ereignissen. - Reinhold Hölzgen (1988)