Design goals of object-oriented wrappers for the Mach microkernel | IEEE Conference Publication | IEEE Xplore