On the Adequacy of Dependence-Based Representations for Programs with Heaps.

Phil Pfeiffer Rebecca Parsons Selke On the Adequacy of Dependence-Based Representations for Programs with Heaps. 365-386 1991 conf/tacs/1991 TACS db/conf/tacs/tacs91.html#PfeifferS91