Cutland, N. (1980). Computability: An Introduction to Recursive Function Theory. Cambridge: Cambridge University Press.