David J. Pearce Paul H. J. Kelly Chris Hankin Efficient field-sensitive pointer analysis for C. 37-42 2004 conf/paste/2004 PASTE http://doi.acm.org/10.1145/996821.996835 db/conf/paste/paste2004.html#PearceKH04