1. Aczel, P.: A New Approach to the Bachmann Method for Describing Large Countable Ordinals (Preliminary Summary). unpublished
2. Aczel, P.: Describing ordinals using functionals of transfinite type. J. Symbol. Logic 37(1), 35–47 (1972)
3. Bachmann, H.: Die Normalfunktionen und das Problem der ausgezeichneten Folgen von Ordnungszahlen. Vierteljschr. Naturforsch.Ges. Zürich, pp. 115–147 (1950)
4. Bridge, J.: A simplification of the Bachmann method for generating large countable ordinals. J. Symbol. Logic 40, 171–185 (1975)
5. Buchholtz, U.T.: Unfolding of systems of inductive definitions. PhD thesis, Stanford University (2013)