Patrick Cousot Radhia Cousot Abstract Interpretation: A Unified Lattice Model for Static Analysis of Programs by Construction or Approximation of Fixpoints. 238-252 1977 POPL db/conf/popl/popl77.html#CousotC77 POPL/00001447.PDF