Introduction to Automata Theory, Languages, and Computation
John E. Hopcroft; Addison-Wesley Series in Computer Science, 1979 0-201-02988-X.
From the Back Cover -- Computational complexity as a coherent theory. It includes end-of-chapter questions, bibliographies, and exercises. Problems of highest and intermediate difficulty are marked respectively with double or single stars.
This book has been mentioned in the following pages of the Jargon File: Cinderella Book.