Michael Kunze Standard Automata and Semidirect Products of Transformation Semigroups. 151-171 1993 108 Theor. Comput. Sci. 1 db/journals/tcs/tcs108.html#Kunze93