Remember that you can use Ariadne and other library resources through the world wide web.

• Sipser, Introduction to the Theory of Computation, PWS Publishing Company, 1997.

• Lewis and Papadimitriou, Elements of the Theory of Computation, second edition, Prentice-Hall, 1998.

• Hopcroft, Motwani, and Ullman, Introduction to Automata Theory, Languages, and Computation, second edition, Addison Wesley, 2001.