Steve Linton G. Pfeiffer Edmund F. Robertson Nikola Ruskuc Computing Transformation Semigroups. 145-162 2002 33 J. Symb. Comput. 2 http://dx.doi.org/10.1006/jsco.2000.0406 db/journals/jsc/jsc33.html#LintonPRR02