H. Andréka, S. Horváth, and I. Németi, “Notes on maximal congruence relations, automata and related topics”, Acta Cybern, vol. 2, no. 1, pp. 71-88, Jan. 1973.