Julien David. The Average Complexity of Moore's State Minimization Algorithm is $O( n \log \log n)$.
35th International Symposium on Mathematical Foundations of Computer Science, Aug 2010, Faculty of Informatics, Masaryk University, Botanicka, 60200 Brno, Czech Republic. pp.318-329.
⟨hal-00620346⟩