A few remarks on the abstraction and equivalence of semantics.
IFIP WG 2.3 meeting, Obernai, France, september 26, 1997.
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 in Obernai are available for