--- a/Journal/document/root.bib	Fri Dec 21 18:06:00 2012 +0000
+++ b/Journal/document/root.bib	Fri Dec 21 23:32:58 2012 +0000
@@ -1,3 +1,27 @@
+@article{seL4,
+  author =  {G.~Klein and
+               J.~Andronick and
+               K.~Elphinstone and
+               G.~Heiser and
+               D.~Cock and
+               P.~Derrin and
+               D.~Elkaduwe and
+               K.~Engelhardt and
+               R.~Kolanski and
+               M.~Norrish and
+               T.~Sewell and
+               H.~Tuch and
+               S.~Winwood}, 
+  title =        {{seL4}: {F}ormal {V}erification of an {OS} {K}ernel},
+  journal =      {Communications of the ACM},
+  publisher =    {ACM},
+  year =         {2010},  
+  pages =        {107--115},
+  volume =       53, 
+  number =       6
+}
+
+
 @phdthesis{Brandenburg11,
     Author = {Bj\"{o}rn B. Brandenburg},
     School = {The University of North Carolina at Chapel Hill},