The logical design of operating systems - Shaw, Alan C. (Prentice-Hall Series in Automatic Computation / Prentice-Hall, Inc.., 1974)