Kevin Murray Tim Wilkinson Tom Stiemerling Paul H. J. Kelly Angel: Resource Unification in a.64-bit Microkernel. 106-116 1994 HICSS (2) db/conf/hicss/hicss1994-2.html#MurrayWSK94