1. Recursion in the superjump;Aczel,1972
2. Degrees of unsolvability of constructible sets of integers;Boolos;Journal of Symbolic Logic,1968
3. D. A. Clarke, Hierarchies of predicates of finite types, Memoirs of the American Mathematical Society 51
4. S. Feferman, Constructively defined functionals of finite type, privately distributed notes.
5. A. Kino and J. Myhill, A hierarchy of languages with infinitely long expressions, this volume.