Norman C. Hutchinson Larry L. Peterson Design of the <i>x</i>-kernel. 65-75 1988 SIGCOMM http://doi.acm.org/10.1145/52324.52332 db/conf/sigcomm/sigcomm1988.html#HutchinsonP88