A multiprocessor operating system - Joseph, Mathai (Prentice-Hall International, 1984)