Puskás, Csaba. 1984. “A New Method for the Analysis and Synthesis of Finite Mealy-Automata”. Acta Cybernetica 6 (4), 361-69. https://cyber.bibl.u-szeged.hu/index.php/actcybern/article/view/3266.