Microkernels Meet Recursive Virtual Machines. - Bryan Ford; Mike Hibler; Jay Lepreau; Patrick Tullmann; Godmar Back; Stephen Clawson (OSDI, 1996)

The Flux OS Toolkit: Reusable Components for OS Implementation. - Bryan Ford; Kevin Van Maren; Jay Lepreau; Stephen Clawson; Bart Robinson; Jeff Turner (Workshop on Hot Topics in Operating Systems, 1997)