Andréka, Hajnal, S. Horváth, and István Németi. 1973. “Notes on Maximal Congruence Relations, Automata and Related Topics”. Acta Cybernetica 2 (1), 71-88. https://cyber.bibl.u-szeged.hu/index.php/actcybern/article/view/3105.