Andréka, H. et al. 1973. Notes on maximal congruence relations, automata and related topics. Acta Cybernetica. 2, 1 (Jan. 1973), 71–88.