Principles of Program Analysis. (1998)

by F Nielson, H R Nielson, C Hankin