Fülöp, Z., Babcsányi, I., & Nagy, A. (1995). Correction : Mealy-automata in which the output-equivalence is a congruence : I. Babcsányi, A. Nagy. Acta Cybernetica, 12(1), 107. Retrieved from https://cyber.bibl.u-szeged.hu/index.php/actcybern/article/view/3447