Principles of Computer System Design: An Introduction by Jerome H. Saltzer and M. Frans Kaashoek (SK)