Krämer, B.; Schmidt, H.W. "Der Entwurf nebenläufiger Systeme mit Handlungs-Entscheidungs-Netzen" pp460-471

(1981) 11 GI-Jahrestagung, München, Informatik Fachberichte 50, Springer-Verlag, 1981  

Languages mentioned SEGRAS {1985}