Computability theory: an introduction - Jones, Neil D. (Academic Press, 1973)