Program Flow Analysis: Theory and applications - Steven S. Muchnick, Neil D Jones (Prentice-Hall, 1981)