Tanaka, Genjiro. 1989. “On Characteristic Semigroups of Mealy Automata”. Acta Cybernetica 9 (2), 173-76. https://cyber.bibl.u-szeged.hu/index.php/actcybern/article/view/3365.