Paul Anderson David Binkley Genevieve Rosay Tim Teitelbaum Flow insensitive points-to sets. 743-754 2002 44 Information & Software Technology 13 db/journals/infsof/infsof44.html#AndersonBRT02 http://dx.doi.org/10.1016/S0950-5849(02)00105-2