Theory of recursive functions and effective computability - Rogers, Hartley (McGraw-Hill, 1967)