(Encyclopedia of mathematics and its applications 48) Charles C. Sims - Computation with finitely presented groups-Cambridge University Press (1994).pdf