Gaya APA
Craig, I, D.
(2007).
Formal Refinement for Operating System Kernels (Inf10)
.
London:
Springer.
Gaya MLA
Craig, Iain, D..
"Formal Refinement for Operating System Kernels (Inf10)".
London:
Springer,
2007.
Text.