Abstract Interpretation‚ Logical Relations and Kan Extensions (J. Logic and Computation‚ 1(1), 1990)

(untitled) - Abramsky, S