Eine beweistheoretische Anwendung partieller stetiger Funktionale. H. Vogel (1978) Archiv für mathematische Logik und Grundlagenforschung
Eine Funktionalinterpretation der prädikativen Analysis. Wolfgang Maaß (1977) Archiv für mathematische Logik und Grundlagenforschung