Garey, Michael R., and David S. Johnson, Computers and Intractability: A Guide to the Theory of NP-Completeness (New York: W. H. Freeman, 1979), A series of books in the mathematical sciences
Harry R. Lewis, Elements of the Theory of Computation (Upper Saddle River, N.J: Prentice-Hall, 1998)
Hopcroft, John. E, Rajeev Motwani, and Jeffrey D Ullman, Introduction to Automata Theory, Languages, and Computation (Pearson Education, 2003)
Rayward-Smith, V. J., A First Course in Computability (Oxford: Blackwell Scientific, 1986), Computer science texts
Sipser, Michael, Introduction to the Theory of Computation, 3rd ed., International ed (Australia: Cengage Learning, 2013)