A semantic basis for program dependence graphs,” Extended abstract (1987)

by M Felleisen, R Cartwright