Kausale Semantik nichtsequentieller Programme. Ges. für Mathematik u. Datenverarbeitung mbH / Gesellschaft für Mathematik und Datenverarbeitung: Berichte der Gesellschaft für Mathematik und Datenverarbeitung ; Nr. 174