@inproceedings{paper2,
  title = "Pascal-m: a language for the design of loosely coupled distributed systems",
  author = "S. Abramsky and R. Bornat",
  year = "1983",
  booktitle = "Distributed Computing Systems: Synchronization, Control and Coordination",
  editor = "Y. Paker and J.-P. Verjus",
  pages = "163-189",
  publisher = "Academic Press",
}