\bibitem{CousotHalbwachs78-POPL}
P.~Cousot and N.~Halbwachs.
\newblock Automatic discovery of linear restraints among variables of a
  program.
\newblock In \emph{Conference Record of the Fifth Annual ACM SIGPLAN-SIGACT
  Symposium on Principles of Programming Languages}, pages 84--97, Tucson,
  Arizona, 1978.  ACM Press, New York, NY, U.S.A.

@inproceedings{CousotHalbwachs78-POPL,
   author =    {Cousot, P{.} and Halbwachs, N{.}},
   title =     {Automatic discovery of linear restraints among variables of
                a program},
   pages =     {84--97},
   booktitle = {Conference Record of the Fifth Annual ACM SIGPLAN-SIGACT 
                Symposium on Principles of Programming Languages},
   address =   {Tucson, Arizona},
   publisher = {ACM Press, New York, NY},
   year =      1978,
}