Fast brief practical DFA minimization
Introduction to Algorithms