1. A programmer's view of automata;Barnes;Computing Surveys,1972
2. Automata, Languages, and Machines;Eilenberg,1974
3. Multiple-entry finite automata;Gill;J. Comput. System Sci.,1974
4. A Linear Algorithm for Testing Equivalence of Finite Automata;Hopcroft;Technical report of Cornell University, TR 71-114,1971
5. Gedanken-experiments of sequential machines;Moore,1956