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