@Article{Landes:66,
  author =       "Kenneth K. Landes",
  title =        "A Scrutiny of the Abstract. {II}",
  journal =      "Bull. Amer. Assoc. Petroleum Geologists",
  volume =       "50",
  number =       "9",
  pages =        "1992",
  year =         "1966"
}

@misc{wikipedia:kerberos:10,
   author = "Wikipedia",
   title = "Kerberos (protocol) --- Wikipedia{,} The Free Encyclopedia",
   year = "2010",
   url = "http://en.wikipedia.org/w/index.php?title=Kerberos_(protocol)&oldid=387752010",
   note = "[Online; accessed 3-October-2010]"
}

@misc{Langmyr:03,
   author = "Dag Langmyr",
   title = "{\LaTeX} for nybegynnere",
   year = "2003",
   url = "http://home.ifi.uio.no/~ifidrift/doc/LaTeX-for-nybegynnere.pdf",
   note = "[Online; accessed 3-October-2010]"
}

@misc{Claerbout:95,
   author = "Jon Claerbout",
   title = "Scrutiny of the introduction",
   year = "1995",
   url = "http://sepwww.stanford.edu/sep/prof/Intro.html",
   note = "[Online; accessed 3-October-2010]"
}



@article{Klein:09,
  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},
}

@inproceedings{Begnum:07,
 author = {Begnum, Kyrre},
 title = {Xen Virtualization and Multi-host Management Using MLN},
 booktitle = {AIMS '07: Proceedings of the 1st international conference on Autonomous Infrastructure, Management and Security},
 year = {2007},
 isbn = {978-3-540-72985-3},
 pages = {229--229},
 location = {Oslo, Norway},
 doi = {http://dx.doi.org/10.1007/978-3-540-72986-0_32},
 publisher = {Springer-Verlag},
 address = {Berlin, Heidelberg},
 }