TY  - BOOK
AU  - Craig, Iain D.
TI  - Formal Refinement for Operating System Kernels [electronic resource]
SN  - 9781846289675
U1  - 005.42 
PY  - 2007///
CY  - London
PB  - Springer
N1  - http://dx.doi.org/10.1007/978-1-84628-967-5
ER  -