Computation With Finitely Presented Groups door