Ádám, A. (1992). A criterion for the simplicity of finite Moore automata. Acta Cybernetica, 10(4), 221-236. Retrieved from https://cyber.bibl.u-szeged.hu/index.php/actcybern/article/view/3408