The Theory of Parsing, Translation, and Compiling (Volume I: Parsing)
The Design and Analysis of Computer Algorithms
Introduction to Automata Theory, Languages and Computation (Addison-Wesley series in computer science)
Data Structures and Algorithms
The Science of Programming (Monographs in Computer Science)