Michael Hind Anthony Pioli Evaluating the effectiveness of pointer alias analyses. 31-55 2001 39 Sci. Comput. Program. 1 db/journals/scp/scp39.html#HindP01