@inproceedings{paper14,
  author = "S. Abramsky",
  booktitle = "Logic at {Botik} 89",
  editor = "A. Meyer and M. Taitslin",
  publisher = "Springer-Verlag",
  title = "Observational Logic and Process Semantics (Abstract)",
  year = "1989",
}