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