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