C. Puskás, “A new method for the analysis and synthesis of finite Mealy-automata”, Acta Cybern, vol. 6, no. 4, pp. 361–369, Jan. 1984.