The Linux process manager. The internals of scheduling, interrupts and signals - O'gorman, John (John Wiley & Sons, 2003)