Theory and practice in operating system design.

Roger M. Needham, David F. Hartley

Browse the full SOSP paper archive.