\bibitem{CousotCousot04-WCC}
P.~Cousot and R.~Cousot.
\newblock Basic Concepts of Abstract Interpretation.
\newblock In \emph{Building the Information Society}, R.~Jacquard (Ed.),
pages 359--366. Kluwer Academic Publishers 2004.

@inbook{CousotCousot04-WCC,
   author =    {Cousot, P{.} and Cousot, R{.}},
   title =     {Basic Concepts of Abstract Interpretation},
   booktitle = {Building the Information Society},
   pages =     {359--366},
   editor =    {Jacquard, R{.}},
   publisher = {Kluwer Academic Publishers},
   year =      2004,
}