Alain Deutsch Interprocedural May-Alias Analysis for Pointers: Beyond <i>k</i>-limiting. 230-241 1994 conf/pldi/1994 PLDI db/conf/pldi/pldi94.html#Deutsch94 http://doi.acm.org/10.1145/178243.178263