Paul Anderson David Binkley Genevieve Rosay Tim Teitelbaum Flow Insensitive Points-To Sets. 81-91 2001 conf/scam/2001 SCAM http://doi.ieeecomputersociety.org/10.1109/SCAM.2001.972669 db/conf/scam/scam2001.html#AndersonBRT01