\bibitem{Cousot-30YoAI-2008-01-09}
P.~Cousot.
\newblock Thirty Years of Abstract Interpretation.
\newblock Workshop on ``Thirty Years of Abstract Interpretation'',  
          R. Giacobazzi and D. Schmidt (Org.),
          San Francisco, CA, USA, January 9${^\mathrm{th}}$, 2008.

@inProceedings{Cousot-30YoAI-2008-01-09,
   author =    {P{.} Cousot},
   title =     {Thirty Years of Abstract Interpretation},
   booktitle = {Workshop on ``Thirty Years of Abstract Interpretation''},
   editor    = {R. Giacobazzi and D. Schmidt},
   address =   {San Francisco, CA, USA},
   month =     {January 9${^\mathrm{th}}$},
   year =      2008,
}