Operating system design the Xinu approach - Comer, Douglas (Englewood Cliff Prentice Hall, 1987)