Methods and logics for proving programs (1990)

by Patrick Cousot
Venue:Handbook of theoretical computer science, volume B, chapter 15