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