@inproceedings{paper48,
  title = "Axioms for Definability and Full Completeness",
  author = "S. Abramsky",
  year = "1999",
  booktitle = "Essays in Honour of Robin Milner",
  editor = "G. Plotkin and M. Tofte and C. Stirling",
  pages = "55-75",
  publisher = "MIT Press",
}