Inductive definitions, semantics and abstract interpretation (1992)

by P Cousot, R Cousot
Venue:In 19th symp. Principles of Progr. Lang