1. 1. J. W. Addison, Hierarchies and the axiom of constructibility, 2nd ed., Summer Institute for Symbolic Logic, Cornell University, Ithaca, N. Y., 1957, pp. 355-362, Institute for Defense Analyses, Princeton, New Jersey, 1960.
2. 2. R. O. Gandy, General recursive functionals of finite type and hierarchies of functions (mimeographed), 1962.
3. Recursive functionals and quantifiers of finite types. I;Kleene, S. C.;Trans. Amer. Math. Soc.,1959
4. Recursive functionals and quantifiers of finite types. II;Kleene, S. C.;Trans. Amer. Math. Soc.,1963
5. Constructive versions of ordinal number classes;Kreider, Donald L.;Trans. Amer. Math. Soc.,1961