Richard Johnson Keshav Pingali Dependence-Based Program Analysis. 78-89 1993 PLDI db/conf/pldi/pldi93.html#JohnsonP93