Theory
- Introduction to Automata Theory, Languages, and Computation (3rd ed.)
- Introduction to the Theory of Computation (3rd ed.)
- On Computable Numbers, with an Application to the Entscheidungsproblem
- Principles of Database and Knowledge-Base Systems
- Structure and Interpretation of Computer Programs
- Structure and Interpretation of Computer Programs