P. Cousot and R. Cousot. "Abstract interpretation: a unified lattice model for static analysis of programs by construction or approximation of fixpoints." 4th ACM Symposium on Principles of Programming Languages (1977), pages 238-252.
author author author author author title title title title title title title title title title title title title title title title title booktitle booktitle booktitle booktitle booktitle booktitle booktitle booktitle date pages pages