Kevin Murray Tim Wilkinson Peter Osmon Ashley Saulsbury Tom Stiemerling Paul H. J. Kelly Design and Implementation of an Object-Oriented 64-bit Single Address Space Microkernel. 31-44 1993 conf/mkern/1993 USENIX Microkernels and Other Kernel Architectures Symposium http://www.usenix.org/publications/library/proceedings/micro93/murray.html db/conf/mkern/mkern1993.html#MurrayWOSSK93