Hermes, H. <br/><br/>
Enumerability – Decidability – Computability 
H. Hermes 
 - Berlin-Heidelberg-New York  Springer  1965