Liedtke, Jochen (December 1993). "A persistent system in real use—experiences of the first 13 years". Proceedings of the 3rd International Workshop on Object Orientation in Operating Systems (IWOOOS). Asheville, North Carolina, United States. pp. 2–11. doi:10.1109/IWOOOS.1993.324932.
Liedtke, Jochen (December 1993). Improving IPC by Kernel Design. Proceedings of the Fourteenth ACM Symposium on Operating Systems Principles. SOSP '93. New York, NY, USA: Association for Computing Machinery (ACM). pp. 175–188. doi:10.1145/168619.168633. ISBN0-89791-632-8.
Marzullo, Keith (December 2001). Operating Systems Review(PDF). Proceedings of the Fifteenth ACM Symposium on Operating Systems Principles. SOSP'01. New York, NY, USA: Association for Computing Machinery (ACM). pp. iii. ISBN1-58113-389-8.