Formal models of operating system kernels - Craig, Iain D. (Springer, 2007)