@InProceedings{Starostin:SSV08-169,
  author =       "Artem Starostin and Alexandra Tsyban",
  title =        "Correct Microkernel Primitives",
  booktitle =    "3rd International Workshop on Systems Software Verification (SSV 2008)",
  year =         "2008",
  publisher =    "Elsevier Science B.V.",
  series =       "Electronic Notes in Theoretical Computer Science",
  volume =       "217C",
  pages =        "169--185",
  ee =           "http://dx.doi.org/10.1016/j.entcs.2008.06.048",
}