Computation with finitely presented groups /
Sims, Charles C.
Cambridge : Cambridge University Press,
1994.