Defining Relations and Algorithmic Problems for Groups and Semigroups - Adjan, S. I. (American Mathematical Society, 1967)