Marc Shapiro 0002 Susan Horwitz Fast and Accurate Flow-Insensitive Points-To Analysis. 1-14 1997 POPL db/conf/popl/popl97.html#ShapiroH97 http://doi.acm.org/10.1145/263699.263703