1. S. I. Adian, “Algorithmic unsolvability of problems of recognition of certain properties of groups,” Dokl. Akad. Nauk SSSR 103(4), 533–535 (1955).
2. S. I. Adian, “Unsolvability of some algorithmic problems in group theory,” Tr. Mosk. Mat. Obshch. 6, 231–298 (1957).
3. S. I. Adian, “The role of the cancellation law in presenting cancellation semigroups by means of defining relations,” Dokl. Akad. Nauk SSSR 113(6), 1191–1194 (1957).
4. S. I. Adian, “On the embeddability of semigroups in groups,” Dokl. Akad. Nauk SSSR 133(2), 255–257 (1960) [Sov. Math., Dokl. 1, 819–821 (1960)].
5. S. I. Adian, “The problem of identity in associative systems of a special form,” Dokl. Akad. Nauk SSSR 135(6), 1297–1300 (1960) [Sov. Math., Dokl. 1, 1360–1363 (1960)].