I. Babcsányi, “Automata with finite congruence lattices”, Acta Cybern, vol. 18, no. 1, pp. 155–165, Jan. 2007.