L. D. Beklemishev, I. G. Lysenok, A. A. Mal'tsev, S. P. Novikov, M. R. Pentus, A. A. Razborov, A. L. Semenov, V. A. Uspenskii, “Sergei Ivanovich Adian (on his 75th birthday)”, Russian Math. Surveys, 61:3 (2006), 575–588
Chernavsky A.V., Leksine V.P., “Unrecognizability of manifolds”, Ann. Pure Appl. Logic, 141:3 (2006), 325–335
Kreuzer M., Myasnikov A., Rosenberger G., Ushakov A., “Quotient tests and Grobner bases”, Combinatorial Group Theory, Discrete Groups, and Number Theory, Contemporary Mathematics Series, 421, 2006, 187–200
Borovik A.V., Myasnikov A.G., “Quotient tests and random walks in computational group theory”, Topological and Asymptotic Aspects of Group Theory, Contemporary Mathematics Series, 394, 2006, 31–45
E. N. Pavlovskii, “Algoritmicheskaya raspoznavaemost svoistva konechnosti konechno-opredelennykh sistem”, Vestn. NGU. Ser. matem., mekh., inform., 6:4 (2006), 83–92
Adian S.I., “Divisibility problem for one relator monoids”, Theoret. Comput. Sci., 339:1 (2005), 3–6
Kapovich I., Miasnikov A., Schupp P., Shpilrain V., “Average-case complexity and decision problems in group theory”, Adv. Math., 190:2 (2005), 343–359
M. A. Shtan'ko, “Markov's theorem and algorithmically non-recognizable combinatorial manifolds”, Izv. Math., 68:1 (2004), 205–221
Michael Trott, The Mathematica GuideBook for Programming, 2004, 538
V. Yu. Popov, “Markov Properties of Burnside Varieties of Semigroups”, Algebra and Logic, 42:1 (2003), 54–60