\bibitem{CousotCousot02-POPL}
P.~Cousot and R.~Cousot.
\newblock Systematic Design of Program Transformation Frameworks by
          Abstract Interpretation.
\newblock In \emph{Conference Record of the Twentyninth Annual ACM
  SIGPLAN-SIGACT Symposium on Principles of Programming Languages},
  pages 178--190, Portland, Oregon, January 2002. ACM Press, New York,
  NY.

@inproceedings{CousotCousot02-POPL,
   author =    {Cousot, P{.} and Cousot, R{.}},
   title =     {Systematic Design of Program Transformation Frameworks by 
                Abstract Interpretation},
   pages =     {178--190},
   booktitle = {Conference Record of the Twentyninth Annual ACM 
                SIGPLAN-SIGACT Symposium on Principles of Programming 
                Languages},
   address =   {Portland, Oregon},
   publisher = {ACM Press, New York, NY},
   month =     jan,
   year =      2002,
}