Principles of Program Analysis (1999)

by F Nielson, H Riis Nielson, C Hankin