\bibitem{CousotCousot92-3}
P.~Cousot and R.~Cousot.
\newblock Inductive Definitions, Semantics and Abstract Interpretation.
\newblock In \emph{\em Conference Record of the 19{$^{\mathrm{th}}$} ACM
  SIGACT-SIGMOD-SIGART Symposium on Principles of Programming Languages},
  pages 83--94, Albuquerque,~New Mexico, 1992. ACM Press, New York, U.S.A{.}

@inproceedings{CousotCousot92-3,
   author =    {Cousot, P{.} and Cousot, R{.}},
   title =     {Inductive Definitions, Semantics and Abstract Interpretation},
   pages =     {83--94},
   booktitle = {Conference Record of the Ninthteenth Annual ACM SIGPLAN-SIGACT 
                Symposium on Principles of Programming Languages},
   address =   {Albuquerque, New Mexico},
   publisher = {ACM Press, New York, NY},
   month =     jan,
   year =      1992,
}