Definiting relations and algorithmic problems for groups and semigroups. - American Mathematical Society, 1967. - ( Proceedings of the Steklov Institute of Mathematics ; 85).