Bryan Ford Kevin Van Maren Jay Lepreau Stephen Clawson Bart Robinson Jeff Turner The Flux OS Toolkit: Reusable Components for OS Implementation. 14-19 1997 Workshop on Hot Topics in Operating Systems db/conf/hotos/hotos97.html#FordMLCRT97