Book

Principles of program analysis

by Flemming Nielson, Hanne Riis Nielson, Chris Hankin