1. General recursive functionals of finite type and hiearchies of functionals;Gandy;Ann. Fac. Sci. Univ. Clermont-Ferrand No,1967
2. Selection functions for recursive functionals;Grilliot;Notre Dame Jour. Formal Log.,1969
3. Gurrik, Cand. real. thesis, in Norwegian.
4. The superjump and the first recursively Mahlo ordinal;Harrington,1974
5. L.A. Harrington, Contributions to recursion theory on higher types, Ph.D. Thesis M.I.T. 1973.