A Rewriting Semantics for Program Dependence Graphs. - Rebecca Parsons Selke (POPL, 1989)

On the Adequacy of Dependence-Based Representations for Programs with Heaps. - Phil Pfeiffer; Rebecca Parsons Selke (TACS, 1991)