Operating system design the XINU approach - Comer, Douglas (Prentice-Hall, 1984)