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