Operating Systems : An advanced course - Bayer, R. (Springer Verlag, 1979)