There is one textbook for this course.
Introduction to the Theory of Computing by Michael Sipser. PWS Publishing Company ISBN 0-534-94728-X.