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