Computability : an introduction to recursive function theory - Cutland, Nigel (Cambridge University Press, 1989)