Entwurf, Beschreibung und Implementation von Systemen mit Hilfe der nebenläufigen Programmiersprache CAP
In: GI-NTG-Fachtagung Struktur und Betrieb von Rechensystemen / Fachtagung Struktur und Betrieb von Rechensystemen <6, 1980, Kiel>, Jg. 1980, S. 205-216