An improved control dependence algorithm (1987)

by Ron Cytron, Jeanne Ferrante
Venue:Tech. Rep. RC 13291, IBM Corp., Armonk, N. Y