1. Ershov Yu. L., Definability and Computability, Consultants Bureau, New York and London (1996).
2. Goncharov S. S. and Sviridenko D. I., “Mathematical foundations of semantic programming,” Dokl. Akad. Nauk SSSR, 289, No. 6, 1324–1328 (1986).
3. Ershov Yu. L., Goncharov S. S., and Sviridenko D. I., “Semantic programming. Information processing,” in: Proc. IFIP 10th World Comput. Congress. Vol. 10, Elsevier Sci., Dublin, 1986, pp. 1093–1100.
4. Rudnev V. A., “A universal recursive function on admissible sets,” Algebra and Logic, 25, No. 4, 267–273 (1986).
5. Morozov A. S. and Puzarenko V. G., “Σ-subsets of natural numbers,” Algebra and Logic, 43, No. 3, 162–178 (2004).