A. Ádám, “On the congruences of finite autonomous Moore automata”, Acta Cybern, vol. 7, no. 3, pp. 259-279, Jan. 1986.