1. P. Aczel and P. G. Hinman, “Recursion in the Superjump”, in Generalized Recursion Theory (Eds. Fenstad and Hinman), North-Holland (1974).
2. S. Feferman, “Classifications of Recursive Functions by means of Hierarchies”, Trans. Amer. Math. Soc. vol 104 (1962) pp. 101–122.
3. S. Feferman, “Ordinals and Functionals in Proof Theory”, Proc. of Int. Congress of Mathematicians Nice (1970), pp. 229–233.
4. S. Feferman, “Recursion in Total Functionals of Finite Type”, to appear.
5. S. C. Kleene, “Recursive Functionals and Quantifiers of Finite Types I, II”, Trans. Amer. Math. Soc. vol 91 (1959) pp. 1–52, vol 108 (1963) pp. 106–142.