Enumerability, decidability, computability: An introduction to the theory of recursive functions - Hermes, Hans.; Hermann, G. T. (Berlin: Springer, 1969)
Keywords: Recursive functions; Algorithms; Computable functions