Andréka, H., Horváth, S. and Németi, I. 1973. Notes on maximal congruence relations, automata and related topics. Acta Cybernetica. 2, 1 (Jan. 1973), 71-88.