Computability theory: an introduction - Jones, Neil D. (New York, Academic Press, 1973)
Bibliography: p. 149-150.
Keywords: Recursive functions; Turing machines; Computable functions