1. Gedanken-experiments on sequential machines;Moore,1956
2. Introduction to automata theory, languages, and computation;Hopcroft;ACM SIGACT News,2001
3. The equivalence problem for regular expressions with squaring requires exponential space;Meyer,1972
4. Three partition refinement algorithms;Paige;SIAM J. Comput.,1987
5. An n log n algorithm for minimizing states in a finite automaton;Hopcroft,1971