Araújo, J., P. V. Bünau, J. D. Mitchell, and M. Neunhöffer. "Computing automorphisms of semigroups." J. Symbolic Comput.. 45 (2010): 373-392.