Ein Mechanismus für die Synchronisation paralleler Prozesse. - Wittmann, Andreas (Arbeitsberichte des Instituts für mathematische Maschinen und Datenverarbeitung <Information>, 1980)