\bibitem{CousotCousot97-4}
P.~Cousot and R.~Cousot.
\newblock Abstract Interpretation of Algebraic Polynomial
  Systems. 
\newblock In \emph{Proceedings of the Sixth International Conference
  on Algebraic Methodology and Software Technology}, AMAST'97, Sydney, 
  Australia, Lecture Notes in Computer Science 1349, pages 138--154. 
  Springer-Verlag, Berlin, Germany, 13--18 December 1997. 

@inproceedings{CousotCousot97-4,
   author =    {Cousot, P{.} and Cousot, R{.}},
   editor =    {Johnson, M{.}},
   title =     {Abstract Interpretation of Algebraic Polynomial Systems},
   booktitle = {Proceedings of the Sixth International Conference on Algebraic
                Methodology and Software Technology, AMAST$\,$'97},
   series =    {Sydney, Australia, Lecture Notes in Computer Science  1349},
   year =      {13--18 December  1997},
   publisher = {Springer-Verlag, Berlin, Germany},
   pages =     {138--154},
}