Computability Theory in Introduction - Jones, Neil D (Academic Press, 1973)