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