Automata with finite congruence lattices - Babcsányi István (2007)