Babcsányi, I., & Nagy, A. (1994). Mealy-automata in which the output-equivalence is .a congruence. Acta Cybernetica, 11(3), 121-126. Retrieved from https://cyber.bibl.u-szeged.hu/index.php/actcybern/article/view/3424