Awesome! Specifically not on my list already there's: Concepts, Techniques, and Models of Computer Programming; Smalltalk-80: The language and its implementation; The Architecture of Symbolic Computers and Project Oberon: The design of an operating system and compiler.

This reminds me Niklaus Wirth's Compiler Construction probably belongs in this thread.