@inproceedings{paper33,
  title = "Proofs as Processes",
  author = "S. Abramsky",
  year = "1994",
  booktitle = "J. Theoretical Computer Science",
  pages = "5-9",
  volume = "135",
}