Theory of Recursive Functions and Effective Computability by Hartley Rogers