Uday S. Reddy Samuel N. Kamin On the power of abstract interpretation. 24-33 1992 conf/iccl/1992 ICCL http://dx.doi.org/10.1109/ICCL.1992.185465 db/conf/iccl/iccl1992.html#ReddyK92