Defining relations and algorithmic problems for groups and semigroups - Adian, Segei Ivanovich, 1931- (Proceedings of the Steklov Institute of Mathematics ;, 1967)