Design and Implementation of an Object-Oriented 64-bit Single Address Space Microkernel.
Kevin MurrayTim WilkinsonPeter OsmonAshley SaulsburyTom StiemerlingPaul H. J. KellyPublished in: USENIX Microkernels and Other Kernel Architectures Symposium (1993)