Bryan Ford Mike Hibler Jay Lepreau Patrick Tullmann Godmar Back Stephen Clawson Microkernels Meet Recursive Virtual Machines. 137-151 1996 OSDI db/conf/osdi/osdi96.html#FordHLTBC96