1. J. Barwise, R.O. Gandy and Y.N. Moschovakis, The next admissible set, to appear in J. Symbolic Logic.
2. R.O. Gandy, General recursive functionals of finite type and hierarchies of functions, in: Proceedings of the Symposium on Mathematical Logic held at the University of Clermont Ferrand (1962).
3. C. Gordon, A comparison of abstract computability theories, Ph. D. Thesis, University of California, Los Angeles (1968).
4. T.J. Grilliot, Recursive functions of finite higher types, Ph. D. Thesis, Duke University (1967).
5. Introduction to metamathematics;Kleene,1952