Title: Ein allgemeines formales Modell für Betriebssysteme und dessen Implementierung
Subjects: Operating systems (Computers)