Computability : - Cutland, Nigel (Cambridge University, 1980)