Ádám, András. 1986. “On the Congruences of Finite Autonomous Moore Automata”. Acta Cybernetica 7 (3):259-79. https://cyber.bibl.u-szeged.hu/index.php/actcybern/article/view/3295.