Using Static Single Assignment Form to Improve Flow-Insensitive Pointer Analysis. - Rebecca Hasti; Susan Horwitz (PLDI, 1998)