Program Flow Analysis: Theory and Applications, chapter 7 (1981)

by R Wilhelm