Craig, I. D. (2007). Formal models of operating system kernels. Springer-Verlag London Limited.
Chicago Style (17th ed.) CitationCraig, Iain D. Formal Models of Operating System Kernels. London: Springer-Verlag London Limited, 2007.
MLA (8th ed.) CitationCraig, Iain D. Formal Models of Operating System Kernels. Springer-Verlag London Limited, 2007.
Warning: These citations may not always be 100% accurate.