Defining relations and algorithmic problems for groups and semigroups / - Adi͡an, S. I. (American Mathematical Society, 1967)