Uday S. Reddy Samuel N. Kamin On the Power of Abstract Interpretation. 79-89 1993 19 Comput. Lang. 2 db/journals/cl/cl19.html#ReddyK93