Ádám, András. 1992. “A Criterion for the Simplicity of Finite Moore Automata”. Acta Cybernetica 10 (4), 221-36. https://cyber.bibl.u-szeged.hu/index.php/actcybern/article/view/3408.