David R. Cheriton Kenneth J. Duda A Caching Model of Operating System Kernel Functionality. 83-86 1995 29 Operating Systems Review 1 db/journals/sigops/sigops29.html#CheritonD95