Puskás, C. 1984. A new method for the analysis and synthesis of finite Mealy-automata. Acta Cybernetica. 6, 4 (Jan. 1984), 361-369.