Formal Models of Operating System Kernels - Craig, Iain D. (Springer-Verlag London Limited, 2007)