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