The logical design of operating systems - Shaw, Alan C. (Prentice Hall series in automatic computation, 1974)