\bibitem{Cousot97-1}
P.~Cousot.
\newblock Types as abstract interpretations.
\newblock In \emph{Conference Record of the Twentyfourth Annual ACM
  SIGPLAN-SIGACT Symposium on Principles of Programming Languages},
  pages 316--331, Paris, France, January 1997. ACM Press, New York,
  NY.

@inproceedings{Cousot97-1,
   author =    {Cousot, P{.}},
   title =     {Types as Abstract Interpretations, invited paper},
   pages =     {316--331},
   booktitle = {Conference Record of the Twentyfourth Annual ACM SIGPLAN-SIGACT 
                Symposium on Principles of Programming Languages},
   address =   {Paris, France},
   publisher = {ACM Press, New York, NY},
   month =     jan,
   year =      1997,
}