Principles of program analysis (1999)

by Flemming Nielson, Hanne R Nielson, Chris Hankin