Formalisierung der Operationsberichte - Moritz, O (Dissertation, München, 1970)