Z. Fülöp, I. Babcsányi, and A. Nagy, “Correction : Mealy-automata in which the output-equivalence is a congruence : I. Babcsányi, A. Nagy”, Acta Cybern, vol. 12, no. 1, p. 107, Jan. 1995.