Principles of Program Analysis (1999)

by Flemming Nielson, Hanne Riis Nielson, Chris Hankin