Introduction to the Theory of Computation is a standard textbook in theoretical computer science, written by Michael Sipser and first published by PWS Publishing in 1997.