* Concepts, Techniques, and Models of Computer Programming
* Engineering a Compiler
* The Elements of Computing Systems
* Concepts, Techniques, and Models of Computer Programming
* Engineering a Compiler
* The Elements of Computing Systems