Operating systems an advanced course (Springer, 1979)