Babcsányi, I. and Nagy, A. 1994. Mealy-automata in which the output-equivalence is .a congruence. Acta Cybernetica. 11, 3 (Jan. 1994), 121–126.