@misc{W2043100293,
  author = {Patrick Cousot and Radhia Cousot},
  title = {Abstract interpretation},
  year = {1977},
  doi = {https://doi.org/10.1145/512950.512973}
}