Beweistheoretische Abgrenzung von Teilsystemen der Analysis. Kurt Schütte (1980) Monatshefte für Mathematik
Beweistheoretische Charakterisierung einer Erweiterung der Grzegorczyk-Hierarchie. Helmut Schwichtenberg (1972) Archiv für mathematische Logik und Grundlagenforschung
Binumerability in a sequence of theories Franco Parlamento (1981) Rendiconti del Seminario Matematico della Università di Padova