Bryan Ford Mike Hibler Jay Lepreau Roland McGrath Patrick Tullmann Interface and Execution Models in the Fluke Kernel. 101-115 1999 OSDI http://doi.acm.org/10.1145/296806.296815 db/conf/osdi/osdi99.html#FordHLMT99