Computability theory : An introduction - Jones, Neil D. (A C M Monograph series^Robert L Ashenhurst, 1973)