Operating systems : a design-oriented approach - Crowley, Charles