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