Principles of computer system design an introduction - Saltzer, J. H. 1939-; Kaashoek, Frans 1965- (Morgan Kaufmann, 2009)