1. Adian, S.I.: Defining relations and algorithmic problems for groups and semigroups. Proceedings of the Steklov Institute of Mathematics, No. 85 (1966). American Mathematical Society, Providence, 1966. [Trudy Mat. Inst. Steklov 85 (1966), 3–123]
2. Adian, S.I.: The works of P. S. Novikov and his students on algorithmic questions of algebra. Proc. Steklov Inst. Math. 133, 21–30 (1977). Mathematical logic, theory of algorithms and theory of sets (dedicated to P. S. Novikov on the occasion of his seventieth birthday) [Trudy Mat. Inst. Steklov. 133 (1973), 23–32, 274]
3. Adian, S.I.: Gennadiǐ Semënovich Makanin’s investigations on algorithmic questions of group and semigroup theory. Russian Math. Surveys 73(3), 553–568 (2018). [Uspekhi Mat. Nauk 73, 3 (2018), 183–196]
4. Adian, S.I., Oganesian, G.U.: On problems of equality and divisibility in semigroups with a single defining relation. Math. USSR, Izv. 12, 207–212 (1978). [Izv. Akad. Nauk SSSR Ser. Mat. 42, 2 (1978), 219–225]
5. Borisov, V.V.: Simple examples of groups with unsolvable word problem. Math. Notes 6, 768–775 (1969). [Mat. Zametki 6 (1969), 521–532]