Randall Maas 9/16/2013 2:33:48 PM
I wrote a review of Principles of Program Analysis Flemming Nielson, Hanne Riss Nielson, Chris Hankin, 2ed 2005, Springer.
This article also appears at randym.name.