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

Craig, I. D. (2007). Formal Refinement for Operating System Kernels. Springer London.

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

Craig, Iain D. Formal Refinement for Operating System Kernels. London: Springer London, 2007.

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

Craig, Iain D. Formal Refinement for Operating System Kernels. Springer London, 2007.