(2007). Formal refinement for operating system kernels / Iain D. Craig.
Չիկագոյի ոճի (17րդ խմբ.) մեջբերումFormal Refinement for Operating System Kernels / Iain D. Craig. 2007.
MLA (9րդ խմբ.) ՄեջբերումFormal Refinement for Operating System Kernels / Iain D. Craig. 2007.
Զգուշացում. այս մեջբերումները միշտ չէ, որ կարող են 100% ճշգրիտ լինել.