ENUMERABILITY DECIDABILITY COMPUTABILITY an introduction to the theory of recursive functions - Hermes, Hans (Springer-Verlag New York, 1969)