An n · log n algorithm for minimizing the states in a finite automaton (1971)

by J E Hopcroft
Venue:In: Z. Zohavi, A. Paz (Eds.), International Symposium on the Theory of Machines and Computations