Kifer, Michael and Smolka, Scott Introduction to Operating System Design and Implementation: The OSP 2 Approach - Springer 2007 ISBN: 9781846288425