Puskás Csaba: A new method for the analysis and synthesis of finite Mealy-automata. In: Acta cybernetica, (6) 4. pp. 361-369. (1984)