Inductive de semantics and abstract interpretation (1991)

by P Cousot, R Cousot
Venue:Proc. POPL'91, ACM