Introduction to the Theory of Computation, 3rd Edition

Michael Sipser