Principles of computer system design an introduction - Saltzer, J. H. (Morgan Kaufmann, 2009)