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