C
[CC77] Patrick Cousot and Radhia Cousot. Abstract Interpretation: A Unified Lattice Model for Static Analysis of Programs by Construction or Approximation of Fixpoints. In POPL'77, pages 238-252. ACM Press, January 1977. 
@inproceedings{popl1977-CC,
  author =              {Cousot, Patrick and Cousot, Radhia},
  title =               {Abstract Interpretation: A~Unified Lattice Model for
                         Static Analysis of Programs by Construction or
                         Approximation of Fixpoints},
  booktitle =           {Conference Record of the 4th {ACM} {S}ymposium on
                         {P}rinciples of {P}rogramming {L}anguages
                         ({POPL}'77)},
  acronym =             {{POPL}'77},
  publisher =           {ACM Press},
  pages =               {238-252},
  year =                {1977},
  month =               jan,
  doi =                 {10.1145/512950.512973},
}
List of authors