A multiprocessor operating system - Joseph, M. (Prentice-Hall international series in computer science, 1984)