Computability theory an introduction. - Jones, Neil D. (2008)