--- a/Journal/document/root.bib	Fri Apr 20 11:27:49 2012 +0000
+++ b/Journal/document/root.bib	Fri Apr 20 11:45:06 2012 +0000
@@ -1,5 +1,12 @@
 
 
+@PhdThesis{Braibant12,
+  author =       {T.~Braibant},
+  title =        {{K}leene {A}lgebras, {R}ewriting {M}odulo {AC}, and {C}ircuits in {C}oq},
+  school =       {University of Grenoble},
+  year =         {2012}
+}
+
 @incollection{Nipkow11,
   author =       {T.~Nipkow},
   title =        {{G}auss-{J}ordan {E}limination for {M}atrices {R}epresented as {F}unctions},