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

Craig, I. D. (2007). Formal Models of Operating System Kernels. Springer London.

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

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

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

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