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