"Computation with finitely presented groups" - читать интересную книгу автора (Charles C. Sims)