Formal models of operating system kernels - Craig, I. (New York : Springer, 2006)
References : p. [319]-320
Keywords: Operating systems (Computers)