TY - BOOK AU - Sims, Charles TI - Computation with finitely presented groups PY - 1993/// CY - Cambridge PB - Cambridge University Press ER -