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