Introduction to Operating System Design and Implementation - Kifer, Michael; Abramsky, Samson; Mackie, Ian; Smolka, Scott A.; Hankin, Chris; Smolka, Scott (Springer London, 2007)