\bibitem{Cousot02-SPIN}
P{.}~Cousot.
\newblock Abstract Interpretation: Theory and Practice.
\newblock In \emph{Proceedings of the 9th International SPIN Workshop},
     Grenoble, France, 11--13 April 2002, D{.} Bo\u{s}na\u{c}ki and S{.} Leue
     (Eds.), Lecture Notes in Computer Science 2318, Springer-Verlag, pages
     2--5.

@unpublished{Cousot02-SPIN,
   author =  {P{.} Cousot},
   title = {Abstract Interpretation: Theory and Practice},
   editor =    {D{.} Bo\u{s}na\u{c}ki and S{.} Leue},
   booktitle = {Proceedings of the 9th International SPIN Workshop},
   series =    {Grenoble, France, Lecture Notes in Computer Science 2318},
   year =      {11--13 April 2002},
   publisher = {Springer-Verlag, Berlin, Germany},
   pages =     {2--5},
}