Formal refinement of operating system kernels - Craig, I. (Springer, 2007)
Description based upon print version of record.