Abstract interpretation: a semantics-based tool for program analysis (1994)

by N D Jones, F Nielson