CURRENTLY SOLD OUT

Formal Refinement for Operating System Kernels by Iain D. Craig (Hardback, 2007)