Elements of the Theory of Computation (1981)

by H Lewis, C Papadimitriou