A linear algorithm for testing equivalence of finite automata (1971)

by John E Hopcroft, Richard M Karp