Introduction to the Theory of Computation - Michael Sipser (Cengage, 2013)
Keywords: Computer Science Engineering