@InProceedings{Mul+Zho:Domains-1992, author = {Robert Muller and Yuli Zhou}, title = {Abstract Interpretation in Weak Powerdomains}, month = {June}, year = {1992}, booktitle = {Proceedings of the 1992 {ACM SIGPLAN} International Conference on {LISP} and Functional Programming}, publisher = {ACM} }