Proceedings of the USENIX Symposium on Microkernels and Other Kernel Architectures : September 20-21, 1993, San Diego, California. (USENIX Association, 1993)