Rekursive Bezeichnungssysteme für Ordinalzahlen auf der Grundlage der Feferman-Aczelschen Normalfunktionen O alpha - Buchholz, Wilfried (1974)
München, Diss.