bibitem{CousotCousot96-2}
P.~Cousot.
\newblock Program Analysis: The Abstract Interpretation Perspective.
\newblock ACM Computing Surveys, 28(4es):165-es, (Dec. 1996).

@article{Cousot96-2,
   author =    {Cousot, P{.}},
   title =     {Program Analysis: The Abstract Interpretation Perspective},
   journal =   {ACM Computing Surveys},
   publisher = {ACM Press, New York, New York, United States},
   volume =    {28A},
   number =    {4es},
   month =     dec,
   year =      1996,
   pages =     {165-es},
   url =       {\url{http://www.acm.org/pubs/citations/journals/surveys/1996-28-4es/a165-cousot/}},
}