1. Economy of description by automata, grammars, and formal systems;Meyer,1971
2. Succinctness of Description of Context Free, Regular and Finite Languages;Schmidt,1978
3. Nondeterminism and the size of two-way finite automata;Sakoda,1978
4. On the Complexity of Regular Languages in Terms of Finite Automata;Berman,1977
5. The complexity of theorem proving procedures;Cook,1971