1. Ershov Yu.L., The Theory of Enumerations, Nauka, Moscow (1977) [Russian].
2. Ershov Yu.L. and Goncharov S.S., Constructive Models, Kluwer Academic/Plenum, New York, etc. (2000) (Siberian School of Algebra Logic).
3. Malcev A.I., “Constructive algebras. I,” Russian Math. Surveys, vol. 16, no. 3, 77–129 (1961).
4. Rogers H., Theory of Recursive Functions and Effective Computability, McGraw-Hill, New York, St. Louis, San Francisco, Toronto, London, and Sydney (1967).
5. Andrews U. and Sorbi A., “Joins and meets in the structure of ceers,” Computability, vol. 8, no. 3, 193–241 (2019).