Proceedings of the USENIX Workshop on Micro-kernels and Other Kernel Architectures : April 27 - 28, 1992, Seattle, Washington. (USENIX Association, 1992)