Theory of Recursive Functions and Effective Computability - Rogers, Hartley (New York Mc Graw Hill International Book Company, 1967)