@inproceedings{paper38,
  title = "Specification Structures and Propositions-as-Types for Concurrency",
  author = "S. Abramsky and S. Gay and R. Nagarajan",
  year = "1996",
  booktitle = "Logics for Concurrency: Structure vs. Automata---Proceedings of the VI I Ith Banff Higher Order Workshop",
  editor = "G. Birtwistle and F. Moller",
  pages = "5-40",
  publisher = "Springer-Verlag",
}