@inproceedings{paper16,
  author = "S. Abramsky",
  booktitle = "J. Logic and Computation, 1(1)",
  pages = "5-41",
  title = "Abstract Interpretation, Logical Relations and Kan Extensions",
  year = "1990",
}