Program flow analysis theory and applications - Muchnick, Steven S. 1945-; Jones, Neil D. (Prentice-Hall software series, 1981)