G. Tanaka, “On characteristic semigroups of Mealy automata”, Acta Cybern, vol. 9, no. 2, pp. 173-176, Jan. 1989.