Groups and computation II : - Finkelstein, Larry; Kantor, William M. (DIMACS series in discrete mathematics and theoretical computer science, 1997)