1. Aehlig, K.: On Fragments of Analysis with Strengths of Finitely Iterated Inductive Definitions. PhD thesis, Munich (2003)
2. Lecture Notes in Computer Science;T. Altenkirch,2001
3. Lecture Notes in Mathematics;W. Buchholz,1981
4. Buchholz, W., Schütte, K.: Proof theory of impredicative subsystems of analysis. In: Studies in Proof Theory, Monographs, Bibliopolis, Naples, vol. 2 (1988)
5. Gödel, K.: Zur intuitionistischen Arithmetik und Zahlentheorie. Ergebnisse einers math. Koll., Heft 4, 34–38 (1933)