Abstract interpretation: A semantics-based tool for program analysis (1995)

by N Jones, F Nielson
Venue:In Handbook of Logic in Computer Science