Patrick Cousot.
A few remarks on the abstraction and equivalence of semantics.
IFIP WG 2.3 meeting, Obernai, France, september 26, 1997.
Abstract:
Informal comments on the paper
Constructive Design of a Hierarchy of Semantics of a Transition System by Abstract Interpretation
.
Slides of the WG 2.3 40mn talk
.pdf
.