\bibitem{CousotCousot91-2}
P.~Cousot and R.~Cousot.
\newblock Comparison of the Galois connection and widening/narrowing
approaches to abstract interpretation (abstract).
\newblock \emph{Actes JTASPEFL'91, Bordeaux, 9-11 octobre 1991}, in
BIGRE 74:107--110, IRISA, Rennes, France, 1991.

@article{CousotCousot91-1,
   author =    {Cousot, P{.} and Cousot, R{.}},
   title =     {Comparison of the {G}alois connection and widening/narrowing
                approaches to abstract interpretation. {JTASPEFL$\,$'91},
                {B}ordeaux},
   pages =     {107--110},
   journal =   {BIGRE},
   volume =    74,
   publisher = {IRISA, Ren\-nes, France},
   month =     oct,
   year =      1991,
}