Formal models of operating system kernels - Craig, Iain D. (London Springer, 2007)
Includes bibliographical references (p. [319]-320) and index.
Keywords: Operating systems (Computers)