Principles of computer system design : An introduction - Saltzer, Jerome H. (Elsevier, 2009)