I. Babcsányi, “Equivalence of Mealy and Moore automata”, Acta Cybern, vol. 14, no. 4, pp. 541-552, Jan. 2000.