Ravikumarand Eisman. Weak Minimization of Dfa—an Algorithm and Applications. no. 1-2, Elsevier BV, 2004, doi:10.1016/j.tcs.2004.07.009.