Joseph Hummel Laurie J. Hendren Alexandru Nicolau A General Data Dependence Test for Dynamic, Pointer-Based Data Structures. 218-229 1994 conf/pldi/1994 PLDI db/conf/pldi/pldi94.html#HummelHN94 http://doi.acm.org/10.1145/178243.178262