Mealy-automata in which the output-equivalence is .a congruence - Babcsányi, István; Nagy, Attila (Acta Cybernetica, 1994)