Computation With Finitely Presented Groups by Charles C. Sims & Sims Charles C.