Παραπομπή σε μορφή APA (7η εκδ.)

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

Παραπομπή σε μορφή Chicago (17η εκδ.)

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

Παραπομπή σε μορφή MLA (9th εκδ.)

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