@inproceedings{Cousot_1979,
    doi = {10.1145/567752.567778},
    url = {https://doi.org/10.1145%2F567752.567778},
    year = {1979},
    publisher = {{ACM} Press},
    author = {Patrick Cousot and Radhia Cousot},
    title = {Systematic design of program analysis frameworks},
    booktitle = {Proceedings of the 6th {ACM} {SIGACT}-{SIGPLAN} symposium on Principles of programming languages  - {POPL} {\textquotesingle}79}
}

@inproceedings{Cousot_1979, doi = {10.1145/567752.567778}, url = {https://doi.org/10.1145%2F567752.567778}, year = {1979}, publisher = {{ACM} Press}, author = {Patrick Cousot and Radhia Cousot}, title = {Systematic design of program analysis frameworks}, booktitle = {Proceedings of the 6th {ACM} {SIGACT}-{SIGPLAN} symposium on Principles of programming languages - {POPL} {\textquotesingle}79} }