Introduction to the Theory of Computation

by Michael Sipser