1. C. F. Kent, Algebraic structures of some groups of recursive permutations, Doctoral thesis, Massachusetts Institute of Technology, Cambridge, Mass., 1960.
2. H. Rogers, Jr., Provable recursive functions, Bull. Amer. Math. Soc. 63 (1957), 140.
3. \bysame, Theory of recursive functions and effective computability, Vol.I, Mimeographed Notes, Massachusetts Institute of Technology, Cambridge, Mass., 1957.
4. The present theory of Turing machine computability;Rogers, Hartley, Jr.;J. Soc. Indust. Appl. Math.,1959
5. \bysame, Recursive functions and effective computability, to be published by McGraw-Hill.