Simultane Rekursionen in der Theorie der Funktionale endlicher Typen. Kurt Schütte, Justus Diller (1971) Archiv für mathematische Logik und Grundlagenforschung