- Ekaterina B. Fokina, Valentina Harizanov, Alexander Melnikov, Turing's Legacy, 2014, 124

- MATTHEW HARRISON-TRAINOR, “AN INTRODUCTION TO THE SCOTT COMPLEXITY OF COUNTABLE STRUCTURES AND A SURVEY OF RECENT RESULTS”, Bull. symb. log, 28, № 1, 2022, 71

- Matthew Harrison-Trainor, “There is no classification of the decidably presentable structures”, J. Math. Log., 18, № 02, 2018, 1850010

- N. A. Bazhenov, “Computable Numberings of the Class of Boolean Algebras with Distinguished Endomorphisms”, Algebra Logic, 52, № 5, 2013, 355

- Ekaterina B. Fokina, Sy‐David Friedman, “On Σ11 equivalence relations over the natural numbers”, Mathematical Logic Qtrly, 58, № 1-2, 2012, 113

- Margarita Korovina, Oleg Kudinov, 8974, Perspectives of System Informatics, 2015, 201

- Margarita Korovina, Oleg Kudinov, 10742, Perspectives of System Informatics, 2018, 241

- Margarita Korovina, Oleg Kudinov, 9136, Evolving Computability, 2015, 226

- MARGARITA KOROVINA, OLEG KUDINOV, “Computable elements and functions in effectively enumerable topological spaces”, Math. Struct. Comp. Sci., 27, № 8, 2017, 1466

- Wesley Calvert, Valentina Harizanov, Alexandra Shlapentokh, “Computability in infinite Galois theory and algorithmically random algebraic fields”, Journal of London Math Soc, 110, № 5, 2024, e70017
