\bibitem{CousotDSE-Workshop-2004}
P{.} Cousot.
\newblock Grand Challenges for Abstract Interpretation.
\newblock \emph{2$^{\mathrm{nd}}$ Workshop on Dependable Systems
          Evolution}, Tony Hoare, Peter O'Hearn, Harold Thimbleby, 
         Jim Woodcock (Organizers), Gresham College, London, UK}
          18 March, 2004.

@unpublished{CousotDSE-Workshop-2004,
   author =    {P{.} Cousot},
   title =     {Grand Challenges for Abstract Interpretation},
   note = {\emph{2$^{\mathrm{nd}}$ Workshop on Dependable Systems
          Evolution}, Tony Hoare, Peter O'Hearn, Harold Thimbleby, 
         Jim Woodcock (Organizers), Gresham College, London, UK},
   month =     {18 March},
   year =      2004,
}