Elements of the Theory of Computation - Lewis, Harry R; Papadimitriou, Christos H (Prentice Hall, 1981)