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

by J Hopcroft, R M Karp