A. S. Antonenko and E. L. Berkovič, “Groups and semigroups defined by some classes of mealy automata”, Acta Cybern, vol. 18, no. 1, pp. 23-46, Jan. 2007.