A criterion for the simplicity of finite Moore automata - Ádám, András (Acta Cybernetica, 1992)