Modellierung, Spezifikation und korrekte Realisierung von asynchronen Systemen. - Mackert, Lothar (Arbeitsberichte des Instituts für mathematische Maschinen und Datenverarbeitung <Informatik>, 1983)