1. A. M. Turing. „On Computable Numbers, with an Application to the Entscheidungsproblem“. In: Proc. London Math. Soc. (2) 42.3 (1936), S. 230–265.
2. W J. Savitch. „Deterministic Simulation of Non-Deterministic Turing Machines (Detailed Abstract)“. In: Proceedings of the 1st Annual ACM Symposium on Theory of Computing, May 5–7, 1969, Marina del Rey CA, USA. Hrsg. von P C. Fischer, S. Ginsburg und M. A. Harrison. ACM, 1969, S. 247–248.
3. S. A. Cook. „The Complexity of Theorem-Proving Procedures“. In: Proceedings of the 3rd Annual ACM Symposium on Theory of Computing, May 3–5, 1971, Shaker Heights, Ohio, USA. Hrsg. von M. A. Harrison, R. B. Banerji und J. D. Ullman. ACM, 1971, S. 151–158.
4. S. A. Cook. „A Hierarchy for Nondeterministic Time Complexity“. In: J. Comput. Syst. Sci. 7.4 (1973), S. 343–353.
5. S. C. Kleene. „Recursive predicates and quantifiers“. In: Trans. Amer Math. Soc. 53 (1943), S. 41–73.