Gregory Butler: Effective Computation with Group Homomorphisms. J. Symb. Comput. 1(2): 143-157 (1985)