Citação norma APA

(2007). Formal refinement for operating system kernels / Iain D. Craig.

Citação norma Chicago

Formal Refinement for Operating System Kernels / Iain D. Craig. 2007.

Citação norma MLA

Formal Refinement for Operating System Kernels / Iain D. Craig. 2007.

Nota: a formatação da citação pode não corresponder 100% ao definido pela respectiva norma.