1. Hierarchies in recursive function theory;Enderton;Trans. Am. Math. Soc.,1964
2. R.O. Gandy, General recursive functionals of finite type and hierarchies of functions (A paper given at the Symposium on Mathematical Logic held at the University of Clermont Ferrand, June 1962).
3. Computable functionals of finite type I, in: Sets, models and recursion theory;Gandy,1967
4. Recursive functionals and quantifiers of finite types;Kleene;Trans. Am. Math. Soc.,1959
5. Y.N., Moschovakis, Hyperanalytical predicates, Trans. Am. Math. Soc., 129, 249–282