Computability. An Introduction to Recursive Function Theory - Cutland, N.J.