The semantics of program dependence (1989)

by R Cartwright, M Felleisen
Venue:in: ACM SIGPLAN Conference on Programming Language Design and Implementation