Principles of Abstract Interpretation
Introduction to abstract interpretation, with examples of applications to the semantics, specification, verification, and static analysis of computer programs.