bibitem{CousotCousot96-1}
P.~Cousot and R.~Cousot.
\newblock Abstract Interpretation.
\newblock ACM Computing Surveys, 28(2):324--328, June 1996.

@article{Cousot96-1,
   author =  {Cousot, P{.}},
   title =   {Abstract interpretation},
   pages =   {324--328},
   journal = {Symposium on Models of Programming Languages and Computation, ACM 
              Computing Surveys},
   volume =  28,
   number =  2,
   month =   jun,
   year =    1996,
}