Operating system design, the Xinu approach - Comer, Douglas E. (Prentice Hall software series, 1984)