APA (7th ed.) Citation

Craig, I. D. (2007). Formal Refinement for Operating System Kernels (1st ed. 2007.). Springer London : Imprint: Springer.

Chicago Style (17th ed.) Citation

Craig, Iain D. Formal Refinement for Operating System Kernels. 1st ed. 2007. London: Springer London : Imprint: Springer, 2007.

MLA (8th ed.) Citation

Craig, Iain D. Formal Refinement for Operating System Kernels. 1st ed. 2007. Springer London : Imprint: Springer, 2007.