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