\bibitem{CousotCousot92-4}
P.~Cousot and R.~Cousot.
\newblock Comparing the {G}alois Connection and Widening/Narrowing
  Approaches to Abstract Interpretation, invited paper.
\newblock In M.~Bruynooghe and M.~Wirsing, editors, \emph{Programming
   Language Implementation and Logic Programming, Proceedings of the
   Fourth International Symposium, PLILP'92}, Leuven, Belgium, 13--17
   August 1992, Lecture Notes in Computer Science 631, pages 269--295.
   Springer-Verlag, Berlin, Germany, 1992.

@inproceedings{CousotCousot92-4,
   author =    {Cousot, P{.} and Cousot, R{.}},
   title =     {Comparing the {G}alois Connection and Widening/Narrowing 
                Approaches to Abstract Interpretation, invited paper},
   editor =    {Bruynooghe, M{.} and Wirsing, M{.}},
   pages =     {269--295},
   booktitle = {Proceedings of the International Workshop Programming Language 
                Implementation and Logic Programming, PLILP$\,$'92,},
   series =    {Leuven, Belgium, 13--17 August 1992, Lecture Notes in Computer 
                Science 631},
   publisher = {Springer-Verlag, Berlin, Germany},
   year =      1992,
}