"Formal Refinement of Operating System Kernels" - читать интересную книгу автора (Iain D. Craig)