@inproceedings{ElphinstoneKK-06,
  author =    {Kevin Elphinstone and Gerwin Klein and Rafal Kolanski},
  title =     {Formalising a High-Performance Microkernel},
  booktitle = {Workshop on Verified Software: Theories, Tools, and Experiments (VSTTE 06)},
  series =    {Microsoft Research Technical Report MSR-TR-2006-117},
  year =      {2006},
  editor =    {Rustan Leino},
  address =   {Seattle, USA},
  month =     Aug,
  pages =     {1-7},
}