diff --git a/doc/userman/user-intro.tex b/doc/userman/user-intro.tex
index 9d24d85d20fa22ff5a0eb44fca980730c53a868c..9f60b97c9197c4208b4f690e71ef654599a68526 100644
--- a/doc/userman/user-intro.tex
+++ b/doc/userman/user-intro.tex
@@ -11,8 +11,8 @@ This manual gives an overview of \FramaC for newcomers,
 and serves as a reference for expert users.
 It only describes those platform features that are common to all analyzers. 
 Thus it \emph{does not cover} the use of the analyzers provided in the \FramaC
-distribution (Value Analysis, Slicing, \ldots). Each of these analyses has its
-own specific documentation~\cite{wp,value,rte,aorai}. Furthermore, research
+distribution (Eva, WP, E-ACSL, \ldots). Each of these analyses has its
+own specific documentation~\cite{wp,value,eacsl}. Furthermore, research
 papers~\cite{sefm12,fac15} give a synthetic view of the platform, its main and
 composite analyses, and some of its industrial achievements, while the
 development of new analyzers is described in the Plug-in Development