Theory of recursive functions and effective computability - Rogers, Hartley (New York Mcgraw-Hill Book Company, 1967)
Keywords: Effective computability; Recursive functions