1. S. C. Kleene, and R. E. Vesley, The Foundations of Intuitionistic Mathematics, Especially in Relation to Recursive Functions (North Holland, 1965).
2. S. C. Kleene, Classical extensions of intuitionistic mathematics. In: Logic, Methodology and Philosophy of Science (Y. Bar-Hillel, ed.), pp. 31-44 (North-Holland, 1965).
3. S. C. Kleene, Formalized recursive functionals and formalized realizability. No. 89 in Memoirs (Amer. Math. Soc., 1969).
4. P. Krauss, A constructive interpretation of classical mathematics. Math. Schriften Kassel, Preprint No. 5/92 (1992).
5. Can there be no nonrecursive functions;Moschovakis;J. Symbolic Logic,1971