Ein allgemeines formales Modell für Betriebssysteme und dessen Implementierung. - Keramidis, Sawwas (Arbeitsberichte des Instituts für mathematische Maschinen und Datenverarbeitung, 1977)