\bibitem{{BertraneCousotCousotFeretMauborgneMineRival-IUTF-ASpIA-2011}
J.~Bertrane and P.~Cousot and R.~Cousot and J.~Feret and  L.~Mauborgne and A.~Min\'e and Xavier Rival.
\newblock L'analyseur statique \textsc{Astr\'ee} (in French).
\newblock In \emph{Utilisations industrielles des techniques formelles~: interpr\'etation abstraite}, 
J.-L. Boulanger (Ed.), June 2011, Herm\`es Science, Paris, France pp. 67--114.

@inBook{BertraneCousotCousotFeretMauborgneMineRival-IUTF-ASpIA-2011,
  author    = {J.~Bertrane and P.~Cousot and R.~Cousot and J.~Feret and 
               L.~Mauborgne and A.~Min\'e and X.~Rival},
  title     = {L'analyseur statique \textsc{Astr\'ee} (in French),
  booktitle = {Utilisations industrielles des techniques formelles~: interpr\'etation abstraite},
  editor    = {J.-L. Boulanger},
  month     = jun,
  year      = {2011},
  pages     = {67--114},
  publisher = {Herm\`es Science, Paris, France},
  isbn      = {2-7462-3206-5},
}