Sims, Charles <br/><br/>
Computation with finitely presented groups 
Charles Sims 
 - Cambridge  Cambridge University Press  1993