A Linear Algorithm for Testing Equivalence of Finite Automata (1971)

by J E Hopcroft, R E Karp