TOC – Introduction to the Theory of Computation 3e (Michael Sipser)