1. Buchholz, W.: Normalfunktionen und konstruktive Systeme von Ordinalzahlen. Proof Theory Symposion Kiel 1974. In: Lecture Notes in Mathematics, Vol. 500. Berlin, Heidelberg, New York: Springer 1975.
2. Buchholz, W., Pohlers, W.: Provable wellorderings of formal theories for transfinitely iterated inductive definitions. J. Symb. Logic43, 118–125 (1978).
3. Feferman, S.: A language and axioms for explicit mathematics. Algebra and logic. In: Lecture Notes in Mathematics, Vol. 450. Berlin, Heidelberg, New York: Springer 1975.
4. Feferman, S.: Constructive theories of functions and classes. Logic Colloquium 78. Amsterdam: North-Holland 1979.
5. Jäger, G., Pohlers, W.: Admissible Proof Theory (in preparation).