Donglin Liang, Mary Jean Harrold: Equivalence Analysis: A General Technique to Improve the Efficiency of Data-flow Analyses in the Presence of Pointers. PASTE 1999: 39-46