Patrick Cousot Radhia Cousot Inductive Definitions, Semantics and Abstract Interpretation. 83-94 1992 POPL db/conf/popl/popl92.html#CousotC92