Formal refinement for operating system kernels /
Craig, I.
London : Springer,
c2007.
Includes bibliographical references.
Operating systems (Computers)