\bibitem{Cousot-Marktoberdorf08}
Patrick Cousot.
\newblock A Formal Introduction to Abstract Interpretation.
\newblock In Alexander Pretschner, Peter M{\"u}ller, and Patrick St{\"o}ckle  (Eds.): 
\textit{Engineering Secure and Dependable Software Systems}. NATO SPS, Series D, Vol,\@ 53. 
IOS Press, Amsterdam, 2019.


@incollection{Cousot-Marktoberdorf08,
   author =    {Patrick Cousot},
   title =     {A Formal Introduction to Abstract Interpretation},
   booktitle = {Calculational System Design},
   editor =    {Alexander Pretschner, Peter M{\"u}ller, and Patrick St{\"o}ckle },
   publisher = {NATO SPS, Series D, Vol.\@ 53. IOS Press, Amsterdam},
   year =      2019,
}