Introduction to operating system design and implementation the OSP 2 approach - Kifer, M. (Michael) 1954-; Smolka, Scott A. (Springer-Verlag, 2007)