1. Barwise, J.: Admissible sets and structures. Berlin Heidelberg New York: Springer 1975
2. Buchholz, W.: Ein Mengensystem ohne Kollabierungsfunktionen. Oberseminarvortrag, München 1984
3. Buchholz, W.: A new system of proof-theoretic ordinal functions. Arch. Math. Logik Grundlagenforsch.32, 195–207 (1986)
4. Buchholz, W., Schütte, K.: Proof theory of impredicative subsystems of analysis. Naples: Bibliopolis 1988
5. Harrington, L.: The superjump and the first recursively Mahlo ordinal. In: Gandy, R.O., Yates, C.E.M. (eds.) Logic Colloquium '69, pp. 43–52. Amsterdam: North-Holland 1971