Michael Sipser Books

Introduction to the Theory of Computation