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)