Enumerability, decidability, computability an introduction to the theory of recursive functions - Hermes, Hans 1912-2003 (Springer, 1965)