(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%.