@inproceedings{paper1,
  title = "Pascal-m in Office Information Systems",
  author = "S. Abramsky and S. Cook",
  year = "1982",
  booktitle = "Office Information Systems",
  editor = "N. Naffah",
  publisher = "North Holland",
}