Abstract Interpretation: From 0, 1, To ∞ [pdf]
cs.nyu.edu