Enumerability, decidability, computability: An introduction to the theory of recursive functions - Hermes, Hans. (Springer, 1969)