A Congruence-based Perspective on Automata Minimization Algorithms | Publicación