\bibitem{CousotCousot76-1}
P{.} Cousot and R{.} Cousot.
\newblock Static determination of dynamic properties of programs.
\newblock In {\em Proceedings of the Second International Symposium on
  Programming}, pages 106--130. Dunod, Paris, France, 1976.

@inproceedings{CousotCousot76-1,
   author =    {Cousot, P{.} and Cousot, R{.}},
   title =     {Static determination of dynamic properties of programs},
   pages =     {106--130},
   booktitle = {Proceedings of the Second International Symposium on Programming},
   publisher = {Dunod, Paris, France},
   year =      1976,
}