Enumerability, decidability, computability : an introduction to the theory of recursive functions - Hermes, Hans (Oxford University Press, 1985)