Introduction To Operating System Design And Implementation by Michael Kifer & Scott A. Smolka