[1] John E. Savage, Models of Computation: Exploring the Power of Computing, Addison Wesley, Reading, MA, 1998.
[2] Harry R. Lewis and Christos H. Papadimitriou, Elements of the Theory of Computation, 2nd Ed., Prentice Hall, Edgewood Cliffs, NJ, 1998.
[3] Michael Sipser, Introduction to the Theory of Computation, PWS Publishing Company, Boston, MA, 1997.
[4] J. Glenn Brookshear, Theory of Computation: Formal Languages, Automata, and Complexity, Benjamin Cummings, Redwood City, CA, 1989.
[5] John E. Hopcroft and Jeffrey D. Ullman, Introduction to Automata Theory, Languages, and Computation, Addison Wesley, Reading, MA, 1979.
[6] Bernard M. E. Moret, The Theory of Computation, Addison Wesley, Reading, MA, 1998.
[7] Thomas A. Sudkamp, Languages and Machines: An Introduction to the Theory of Computer Science, 2nd Ed., Addison Wesley, Reading, MA, 1997.
[8] R. Gregory Taylor, Models of Computation and Formal Languages, Oxford University Press, New York, Oxford, 1998.
[9] Daniel I. A. Cohen, Introduction to Computer Theory, 2nd Ed., John Wiley & Sons, New York, NY, 1997.
[10] Dexter C. Kozen, Automata and Computability, Springer-Verlag, New
York, NY, 1997.