1. S. S. Goncharov, “Constructivizability of superatomic Boolean algebras” [in Russian], Algebra Logika 12, No. 1, 31–40 (1973); English transl.: Algebra Logic 12, No. 6, 17–22 (1974).
2. N. T. Kogabaev, “Universal numbering for constructive I-algebras” [in Russian], Algebra Logika 40, No. 5, 561–579 (2001); English transl.: Algebra Logic 40, No. 5, 315–326 (2001).
3. N. A. Bazhenov and R. R. Tukhbatullina, “Constructivizability of the Boolean algebra ℬ(ω) with a distinguished automorphism” [in Russian], Algebra Logika 51, No. 5, 579–607 (2012); English transl.: Algebra Logic 51, No. 5, 384–403 (2012).
4. Yu. L. Ershov, Theory of Numberings [in Russian], Nauka, Moscow (1977).
5. S. S. Goncharov, Countable Boolean Algebras and Decidability [in Russian], Nauchnaya Kniga (IDMI), Novosibirsk (1996); English transl.: Kluwer Academic/Plenum Publishers, New York etc. (1997).