"Theory and practice in operating system design."

Roger M. Needham, David F. Hartley (1969)
a service of Schloss Dagstuhl - Leibniz Center for Informatics