Über Teilsysteme von ...({g}). Wilfried Buchholz — 1977 Archiv für mathematische Logik und Grundlagenforschung
Ein ausgezeichnetes Modell für die intuitionistische Typenlogik. Wilfried Buchholz — 1975 Archiv für mathematische Logik und Grundlagenforschung