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