Computation with jnitely presented groups, volume 48 of Encyclopedia of Mathematics and its Applications (1994)

by Charles Sims