diff --git a/books/bookvolbib.pamphlet b/books/bookvolbib.pamphlet
index 99bcd11..2e9fb61 100644
--- a/books/bookvolbib.pamphlet
+++ b/books/bookvolbib.pamphlet
@@ -399,6 +399,10 @@ LCCN QA155.7.E4 A281 1986 ACM order number 505860
 E. Lueken ``Ueberlegungen zur Implementierung eines Formelmanipulationssystems
 Master's thesis, Technischen Universit{\"{a}}t Carolo-Wilhelmina zu
 Braunschweig. Braunschweig, Germany, 1977
+\bibitem[Mah05]{Mah05}
+Mahboubi, Assia, ``Programming and certifying the CAD algorithm inside the
+coq system'' Mathematics, Algorithms, Proofs, volume 05021 of Dagstuhl
+Seminar Proceedings, Schloss Dagstuhl (2005)
 \bibitem[Mat89]{Mat89}
 J. Mathews ``Symbolic computational algebra applied to Picard iteration''
 Mathematics and computer education, 23(2) pp117-122 Spring 1989 CODEN MCEDDA,
diff --git a/changelog b/changelog
index 7f47887..7a9140c 100644
--- a/changelog
+++ b/changelog
@@ -1,3 +1,5 @@
+20100511 tpd src/axiom-website/patches.html 20100511.02.tpd.patch
+20100511 tpd books/bookvolbib add Assia Mahboubi [Mah05]
 20100511 tpd src/axiom-website/patches.html 20100511.01.tpd.patch
 20100511 tpd src/algebra/Makefile help and test files for LinesOpPack
 20100511 tpd books/bookvol5 expose LinesOpPack
diff --git a/src/axiom-website/patches.html b/src/axiom-website/patches.html
index 2a6b2a7..da6b828 100644
--- a/src/axiom-website/patches.html
+++ b/src/axiom-website/patches.html
@@ -2685,5 +2685,7 @@ books/bookvol10.2 PseudoAlgebraicClosureOfAlgExtOfRationalNumberCategory<br/>
 books/bookvol10.4 add FactorisationOverPseudoAlgebraicClosureOfAlgExtOfRationalNumber<br/>
 <a href="patches/20100511.01.tpd.patch">20100511.01.tpd.patch</a>
 books/bookvol10.4 add LinesOpPack<br/>
+<a href="patches/20100511.02.tpd.patch">20100511.02.tpd.patch</a>
+books/bookvolbib add Assia Mahboubi [Mah05]<br/>
  </body>
 </html>