Operating systems An advanced course (Springer, 1984)