Computation With Finitely Presented Groups by