TOC – Elements of the Theory of Computation 2e (Harry Lewis Christos H Papadimitriou)