APA (7th ed.) Citation

Craig, I. D. (2007). Formal Models of Operating System Kernels. Springer London.

Chicago Style (17th ed.) Citation

Craig, Iain D. Formal Models of Operating System Kernels. London: Springer London, 2007.

MLA (8th ed.) Citation

Craig, Iain D. Formal Models of Operating System Kernels. Springer London, 2007.