The logical design of operating systems - Shaw, Alan C. (rz1, 1974)