The Logical desing of operating system - Shaw, Alan C (1974)