@inproceedings{Dunod76,
   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}
}