APA (7th ed.) Citation

Craig, I. D. (2007). Formal models of operating system kernels. Springer.

Chicago Style (17th ed.) Citation

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

MLA (9th ed.) Citation

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