I. Babcsányi and A. Nagy, “Mealy-automata in which the output-equivalence is .a congruence”, Acta Cybern, vol. 11, no. 3, pp. 121-126, Jan. 1994.