Liang, et al.. Evaluating the Impact of Context-sensitivity on Andersen's Algorithm for Java Programs. Association for Computing Machinery (ACM), Jan. 2006, doi:10.1145/1108768.1108797.