Operating systems: principles and practice by Tom Anderson and Mike Dahlin