A new method for the analysis and synthesis of finite Mealy-automata - Puskás, Csaba (Acta Cybernetica, 1984)