Program Analysis and Optimization through Kernel-Control Decomposition.

Terrence W. Pratt Program Analysis and Optimization through Kernel-Control Decomposition. 195-216 1978 9 Acta Inf. db/journals/acta/acta9.html#Pratt78