Enumerability : Decibility computability - Hans Hermes (Springer-Verlag, 1969)