For a classic CS view around the year 2000:
* Concepts, Techniques, and Models of Computer Programming
* Engineering a Compiler
* The Elements of Computing Systems