[nextos]

For a classic CS view around the year 2000:

* Concepts, Techniques, and Models of Computer Programming

* Engineering a Compiler

* The Elements of Computing Systems