Shmuel Sagiv Thomas W. Reps Reinhard Wilhelm Solving Shape-Analysis Problems in Languages with Destructive Updating. 16-31 1996 POPL db/conf/popl/popl96.html#SagivRW96 http://doi.acm.org/10.1145/237721.237725