1. Mal’tsev, A.I.: Sets with complete numberings (Russian). Algebra Log. 2(2), 4–29 (1963)
2. Mal’tsev, A.I.: The Metamathematics of Algebraic Systems. North-Holland Publishing Co., Amsterdam (1971)
3. Visser, A.: Numberings, $$\lambda $$-calculus and arithmetic. In: Essays on Combinatory Logic. Lambda Calculus and Formalism, pp. 259–284. Academic Press, New York (1980)
4. Ershov, Y.L.: Completely enumerated sets. Sib. Math. J. 10(5), 773–784 (1969)
5. Ershov, Y.L.: Theory of Numberings (Russian). Nauka, Moscow (1977)