Mealy-Automata in Which the Output-Equivalence is a Congruence. - István Babcsányi; A. Nagyr (Acta Cybern., 1994)