Ádám, A. 1992. A criterion for the simplicity of finite Moore automata. Acta Cybernetica. 10, 4 (Jan. 1992), 221-236.