APA (7th ed.) Citation

Craig, I. (2007). Formal models of operating systems kernels. Springer. https://doi.org/10.1007/978-1-84628-718-3

Chicago Style (17th ed.) Citation

Craig, I. Formal Models of Operating Systems Kernels. New York ; London: Springer, 2007. https://doi.org/10.1007/978-1-84628-718-3.

MLA (9th ed.) Citation

Craig, I. Formal Models of Operating Systems Kernels. Springer, 2007. https://doi.org/10.1007/978-1-84628-718-3.