The Logical Desing of Operating Systems / Alan C. Shaw - Shaw, Alan C.