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