Principles of Program Analysis, 2 nd edition (2005)

by F Nielson, H R Nielson, C Hankin