Program flow analysis : theory and applications - Muchnick, Steven S. (Prentice-Hall software series, 1981)