\bibitem{Cousot-PUMA-2009-05-22}
P.~Cousot.
\newblock An Informal Introduction to Abstract Interpretation.
\newblock Doctorate Program PUMA, Program and Model Analysis (Graduiertenkolleg
          Programm- Und Modell-Analyse),  Fakult{\"a}t f{\"u}r Informatik, 
          Technische Universit{\"a}t M{\"u}nchen and the Fakult{\"a}t f{\"u}r 
          Informatik, Ludwig-Maximilians-Universit{\"a}t M{\"u}nchen, Germany,
          May 22${^\mathrm{sd}}$, 2009.

@inProceedings{Cousot-PUMA-2009-05-22,
   author =    {P{.} Cousot},
   title =     {An Informal Introduction to Abstract Interpretation},
   booktitle = {Doctorate Program PUMA, Program and Model Analysis 
                (Graduiertenkolleg Programm- Und Modell-Analyse)},
   address =   {Fakult{\"a}t f{\"u}r Informatik, Technische Universit{\"a}t 
                M{\"u}nchen and the Fakult{\"a}t f{\"u}r Informatik, 
                Ludwig-Maximilians-Universit{\"a}t M{\"u}nchen, Germany},
   month =     {May 22${^\mathrm{nd}}$},
   year =      2009,
}