Rekursionszahlen und die Grzegorczyk-Hierarchie. Helmut Schwichtenberg — 1969 Archiv für mathematische Logik und Grundlagenforschung
Beweistheoretische Charakterisierung einer Erweiterung der Grzegorczyk-Hierarchie. Helmut Schwichtenberg — 1972 Archiv für mathematische Logik und Grundlagenforschung
Definierbare Funktionen im ...-Kalkül mit Typen. Helmut Schwichtenberg — 1975 Archiv für mathematische Logik und Grundlagenforschung