+1.

One of the best books explaining the abstractions and layering involved in Computer Systems. For some reason not many people know about this.