\bibitem{CousotCousot91-1}
P.~Cousot and R.~Cousot.
\newblock Relational abstract interpretation of higher-order functional programs
(abstract).
\newblock \emph{Actes JTASPEFL'91, Bordeaux, 9-11 octobre 1991}, in
BIGRE 74:33--36, IRISA, Rennes, France, 1991.

@article{CousotCousot91-2,
          author =    {Cousot, P{.} and Cousot, R{.}},
          title =     {Relational abstract interpretation of higher-order 
                       functional programs. {JTASPEFL$\,$'91}, {B}ordeaux},
          pages =     {33--36},
          journal =   {BIGRE},
          volume =    74,
          publisher = {IRISA, Ren\-nes, France},
          month =     oct,
          year =      1991,
       }