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
books/bookvol10.4 add FactorisationOverPseudoAlgebraicClosureOfAlgExtOfRationalNumber
20100511.01.tpd.patch
books/bookvol10.4 add LinesOpPack
+20100511.02.tpd.patch
+books/bookvolbib add Assia Mahboubi [Mah05]