Methods and logics for proving programs (1990)

by P Cousot
Venue:Formal Models and Semantics, volume B of Handbook of Theoretical Computer Science, chapter 15