1. Yu. L. Ershov, Theory of Enumerations [in Russian], Nauka, Moscow (1977).
2. A. I. Mal'tsev, Algorithms and Recursive Functions [in Russian], Nauka, Moscow (1965).
3. H. Rogers Jr., Theory of Recursive Functions and Effective Computability, McGraw-Hill (1967).
4. E. L. Post, "Recursively enumerable sets of positive integers and their decision problems, Bull. Am. Math. Soc.,50, 284–316 (1944).
5. I. Myhill, "Creative sets," Z. Math. Logic Grundl. Math.,1, No. 2, 97–108 (1955).