\bibitem{Cousot90-1}
P.~Cousot.
\newblock Methods and Logics for Proving Programs.
\newblock In J.~van Leeuwen, editor, \emph{Formal Models and Semantics},
  volume~B of \emph{Handbook of Theoretical Computer Science}, 
  chapter~15, pages 843--993. Elsevier Science Publishers B.V{.} 
  (North-Holland), Amsterdam, The Netherlands, 1990.

@incollection{Cousot90-1,
   author =    {Cousot, P{.}},
   title =     {Methods and Logics for Proving Programs},
   pages =     {843--993},
   editor =    {van Leeuwen, J{.}},
   chapter =   15,
   booktitle = {Formal Models and Semantics},
   volume =    {B},
   series =    {Handbook of Theoretical Computer Science},
   publisher = {Elsevier Science Publishers B.V{.}, Amsterdam, The Netherlands},
   year =      1990,
}