Principles of Program Analysis (1999)

by F Nielson, H R Nielson, C Hankin