Ming-Yuan Zhu Lei Luo Guang-Zhe Xiong A Provably Correct Operating System: delta-Core. 17-33 2001 35 Operating Systems Review 1 db/journals/sigops/sigops35.html#ZhuLX01