Introduction to Operating System Design and Implementation The OSP 2 Approach - Kifer, Michael; Smolka, Scott A. (Springer London, 2007)