1. A. I. Mal’tsev, Algorithms and Recursive Functions [in Russian], 2nd edn., Nauka, Moscow (1986).
2. V. A. Uspenskii, Lectures on Computable Functions [in Russian], Fizmatgiz, Moscow (1960).
3. Yu. L. Ershov, Theory of Numerations [in Russian], Nauka, Moscow (1977).
4. H. Rogers, Theory of Recursive Functions and Effective Computability, McGraw-Hill, New York (1967).
5. P. Odifreddi, Classical Recursion Theory, Vol. 1, North-Holland, Amsterdam (1989);