TY  - BOOK
AU  - IAIN D CRAIG
TI  - FORMAL MODELS OF OPERATING SYSTEM KERNELS
SN  - 9781846283752
U1  - 005.43 CRA 
PB  - SPRINGER
KW  - COMPUTER SCIENCE
KW  - OPERATING SYSTEM
ER  -