\bibitem{Cousot03-ZM}
P{.} Cousot.  
\newblock Verification by Abstract Interpretation.
\newblock \emph{Proc{.} Int{.} Symp{.} on Verification -- Theory \&
Practice -- Honoring Zohar Manna's 64th Birthday}, N{.} Dershowitz (Ed.),
Taormina, Italy, June 29 -- July 4, 2003.  Lecture Notes in Computer
Science, vol{.} 2772, pp{.} 243--268.  \copyright{} Springer-Verlag,
Berlin, Germany, 2003.

@InProceedings{Cousot03-ZM,
   author =    {P{.} Cousot},
   title =     {Verification by Abstract Interpretation},
   booktitle = {Proc{.} Int{.} Symp{.} on Verification -- Theory \&
                Practice -- Honoring Zohar Manna's 64th Birthday},
   editor =    {N{.} Dershowitz},
   address =   {Taormina, Italy},
   publisher = {\copyright{} Springer-Verlag, Berlin, Germany},
   pages =     {243--268},
   month =     {June 29 -- July 4},
   year =      2003,
}