Computation with finitely presented groups - Sims, Charles C (U.K. Cambridge Univ. Press, 1994)
Keywords: Group theory- data processing; Finite groups- data processing; Combinatorial group theory- data processing