Computability an introduction to recursive function theory - Cutland, Nigel J. (Cambridge Univ. Press, 1992)