V. A. Roman'kov, “Algorithmic theory of solvable groups”, ПДМ, 2021, № 52, 16–64
Roman'kov V., “Polycyclic, Metabelian Or Soluble of Type (Fp)(Infinity) Groups With Boolean Algebra of Rational Sets and Biautomatic Soluble Groups Are Virtually Abelian”, Glasg. Math. J., 60:1 (2018), 209–218
Myasnikov A., Roman'kov V., “On Rationality of Verbal Subsets in a Group”, Theor. Comput. Syst., 52:4 (2013), 587–598
Воронина О.А., “О рациональных подмножествах разрешимых групп”, Вестник Омского университета, 2011, № 2, 19–23
О. В. Григоренко, В. А. Романьков, “О существовании универсальных рациональных структур на группах”, Сиб. электрон. матем. изв., 4 (2007), 52–63
Gilman R.H., “Formal languages and their application to combinatorial group theory”, Groups, Languages, Algorithms, Contemporary Mathematics Series, 378, 2005, 1–36