\bibitem{Cousot01-USarre}
P{.} Cousot.
\newblock Abstract Interpretation and Applications.
\newblock \emph{Universit\"at des Sarrlandes, Sarrebr\"ucken, Germany},
June 29$^{\mathrm{th}}$, 2001.

@unpublished{Cousot01-USarre,
   author =  {Cousot, P{.}},
   title =   {Abstract Interpretation and Applications},
   note = {\emph{Universit\"at des Sarrlandes, Sarrebr\"ucken, Germany}, June
   29$^{\mathrm{th}}$, 2001},
}