APA (7th ed.) Citation

Craig, I. D. (2007). Formal Refinement for Operating System Kernels. Springer London.

Chicago Style (17th ed.) Citation

Craig, Iain D. Formal Refinement for Operating System Kernels. London: Springer London, 2007.

MLA (8th ed.) Citation

Craig, Iain D. Formal Refinement for Operating System Kernels. Springer London, 2007.

Warning: These citations may not always be 100% accurate.