Craig, I. <br/><br/>
Formal models of operating system kernels / 
Iain D. Craig 
 - New York :  Springer,  2006 
 - xi, 333 p. :  ill. ;  24 cm. 
<br/><br/>References : p. [319]-320 
<br/><br/><label>ISBN: </label>1846283752  RM322.02 
<br/><br/><label>Subjects--Topical Terms: </label><br/>Operating systems (Computers)