A Second Course in Formal Languages:  Addenda
-  Page 106:  In the notes to section 3.10, I should mention some of
the new work on efficient algorithms for DFA minimization, such as
Antti Valmari, Fast brief practical DFA minimization, Information Processing Letters 112 (2012) 213-217.