Robert P. Wilson Monica S. Lam Efficient Context-Sensitive Pointer Analysis for C Programs. 1- 1995 PLDI db/conf/pldi/pldi95.html#WilsonL95