1. The Computational Complexity of Logical Theories;Ferrante,1979
2. S. Aaaronsn, G. Kuperberg, C. Granade, Complexity Zoo. https://complexityzoo.uwaterloo.ca/Complexity_Zoo.
3. On the computational complexity of algorithms;Hartmanis;Trans. Am. Math Soc.,1965
4. Relationships between nondeterministic and deterministic tape complexities;Savitch;J. Comput. Syst. Sci.,1970
5. Finite automata and their decision problems;Rabin;IBM J. Res. Dev.,1959