\bibitem{CousotCousot93-1}
P.~Cousot and R.~Cousot.
\newblock Galois Connection Based Abstract Interpretations for 
  Strictness Analysis.
\newblock In D.~Bj\o rner, M.~Broy, and I.V. Pottosin, editors, 
  \emph{Proceedings of the International Conference on Formal 
  Methods in Programming and their Applications}, Academgorodok, 
  Novosibirsk, Russia, Lecture Notes in Computer Science 735, 
  pages 98--127. Springer-Verlag, Berlin, Germany, June 28--July 2,
  1993.

@inproceedings{CousotCousot93-1,
   author =    {Cousot, P{.} and Cousot, R{.}},
   title =     {Galois Connection Based Abstract Interpretations for Strictness 
                Analysis, invited paper},
   pages =     {98--127},
   booktitle = {Proceedings of the International Conference on Formal Methods in 
                Programming and their Applications, Academgorodok, Novosibirsk, 
                Russia},
   series =    {Lecture Notes in Computer Science 735},
   editor =    {Bj{\o }rner, D{.} and Broy, M{.} and Pottosin, I{.}V{.}},
   publisher = {Springer-Verlag, Berlin, Germany},
   month =     {28 June -- 2 July},
   year =      1993,
   isbn =      {978-3-540-57316-6},
   issn =      {0302-9743},
   doi =       {10.1007/BFb0039703},
}