@inproceedings{paper24,
  title = "Quantales, Observational Logic and Process Semantics",
  author = "S. Abramsky and S. J. Vickers",
  year = "1993",
  booktitle = "Mathematical Structures in Computer Science",
  pages = "161-227",
  volume = "3",
}