Elements of the Theory of Computation

Book by Christos Papadimitriou and Harry R. Lewis