Robert Muller Yuli Zhou Abstract Interpretation in Weak Powerdomains. 119-126 1992 LISP and Functional Programming http://doi.acm.org/10.1145/141471.141520 db/conf/lfp/lfp1992.html#MullerZ92