A. Ádám, “A criterion for the simplicity of finite Moore automata”, Acta Cybern, vol. 10, no. 4, pp. 221-236, Jan. 1992.