1. B. Afshari and M. Rathjen. Reverse mathematics and well-ordering principles: A pilot study. Annals of Pure and Applied Logic, 160:231–237, 2009.
2. J. Barwise. Admissible Sets and Structures. Springer, Berlin, 1975.
3. W. Buchholz and K. Schutte. Proof theory of impredicative subsystems of analysis. Bibliopolis, Napoli, 1988.
4. H. Friedman, A. Montalban, and A. Weiermann. Phi function. draft, 2007.
5. Gentzen. The Collected Papers of Gerhard Gentzen. North-Holland, Amsterdam, 1969. Translated and edited by M. E. Szabo.