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