Computability theory an introduction to recursion theory - Enderton, Herbert B. (Academic Press, 2011)