1. P. Aczel, Describing ordinals using functionals of transfinite type. J. Symbolic Logic 37, 35–47 (1972)
2. P. Aczel, W. Richter, in Inductive definitions and analogues of large cardinals, Conference in Mathematical Logic, London ’70, Lecture Notes in Mathematics, vol. 255, ed by W. Hodges (1972), pp. 1–9
3. J. Avigad, On the relationship between ATR $$_{0}$$ 0 and $$\widehat{ID}_{<\omega }$$ I D ^ < ω , J. Symbolic Logic 61, 768–779 (1996)
4. H. Bachmann, Die Normalfunktionen und das Problem der ausgezeichneten Folgen von Ordnungszahlen. Vierteljschr. Naturforsch. Ges. Zürich 95, 115–147 (1950)
5. M.J. Beeson, Foundations of Constructive Mathematics. Metamathematical Studies (Springer, Berlin, 1985)