@article{Klein_09:login,
  author = 	 {Gerwin Klein},
  title = 	 {Correct OS Kernel? Proof? Done!},
  journal =  {USENIX ;login:},
  year = 	 2009,
  volume = 	 34,
  number = 	 6,
  pages = 	 {28--34},
  month = 	 dec,
  publisher = {USENIX},
}