diff --git a/doc/userman/userman.bib b/doc/userman/userman.bib
index 2c1e9cc7f4f628618a850338cda4a1f7d2aec884..5f1f3daa186874645e4d746fd06235c4c6781484 100644
--- a/doc/userman/userman.bib
+++ b/doc/userman/userman.bib
@@ -105,9 +105,7 @@ note={Extended version of \cite{sefm12}},
 }
 
 @manual{eacsl,
-  title = {Frama-C's E-ACSL Plug-in},
-  author = {Julien Signoles},
-  year = {2015},
-  month = feb,
-  note = {\url{http://frama-c.com/eacsl.html}},
+  title  = {Frama-C's E-ACSL Plug-in},
+  author = {Julien Signoles and Basile Desloges and Kostyantyn Vorobyov},
+  note   = {\url{https://frama-c.com/fc-plugins/e-acsl.html}},
 }
diff --git a/src/plugins/e-acsl/doc/refman/biblio.bib b/src/plugins/e-acsl/doc/refman/biblio.bib
index bb7f2f66e7fdac2a5da6eec09708123e29088bd1..da3c4fc29c6344593301fb20559623872f7eb71a 100644
--- a/src/plugins/e-acsl/doc/refman/biblio.bib
+++ b/src/plugins/e-acsl/doc/refman/biblio.bib
@@ -57,7 +57,7 @@ Virgile Prevosto and Armand Puccetti and Julien Signoles and Boris Yakobowski},
 
 @manual{eacsl-plugin,
   title  = {Frama-C's E-ACSL Plug-in},
-  author = {Julien Signoles and Kostyantyn Vorobyov},
+  author = {Julien Signoles and Basile Desloges and Kostyantyn Vorobyov},
   note   = {\url{https://frama-c.com/fc-plugins/e-acsl.html}},
 }