@inproceedings{paper5,
  title = "Reasoning about concurrent systems: a functional approach",
  author = "S. Abramsky",
  year = "1984",
  booktitle = "Distributed Systems",
  editor = "F. Chambers and D. Duce and G. Jones",
  pages = "307-319",
  publisher = "Academic Press",
}