The Semantics of Program Dependence

Robert Cartwright, Matthias Felleisen. The Semantics of Program Dependence. In PLDI. pages 13-27, 1989.