logical design of operating systems - Shaw, Alan C (Prentice-Hall of India, 1974)