1. The Design and Analysis of Computer Algorithms;Aho,1979
2. The complexity of theorem proving procedures;Cook,1971
3. Succinct Representations of Graphs;Galperin,1982
4. On some deterministic space complexity problems;Hong,1980
5. Introduction to Automata Theory, Languages and Computation;Hopcroft,1979