TY  - BOOK
AU  - Craig,I.
TI  - Formal models of operating systems kernels
SN  - 1846283752
PY  - 2007///
CY  - London
PB  - Springer
KW  - Operating systems (Computers)
N1  - Includes bibliographical references and index
ER  -