APA (7th ed.) Citation

Craig, I. D. (2007). Formal models of operating system kernels. Springer-Verlag London Limited.

Chicago Style (17th ed.) Citation

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

MLA (8th ed.) Citation

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

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