1. S. Feferman: Inductive schemata and recursively continuous functional. In: R. O. Gandy and J. M. E. Hyland (eds.) Colloquium ’76 Studies in Logic. North Holland, 1977, pp. 373–392
2. Y. Gurevich: Sequential abstract machines capture sequential algoriths. to appear in ACM Transactions in Computational Logic.
3. A.S. Kechris and Y.N. Moschovakis: Recursion in higher types. In: J. Barwise (ed.) Handbook of Mathematical Logic Studies in Logic, No. 90. North Holland, Amsterdam 1977, pp. 681–737
4. S. C. Kleene: Recursive functionals of finite type, I. Transactions of the American Mathematical Society. 91, 1–52 (1959)
5. S. C. Kleene: Recursive functionals of finite type, II. Transactions of the American Mathematical Society 108 106–142 (1963)