@inproceedings{paper42,
  title = "Specifying Processes",
  author = "S. Abramsky and D. Pavlovic",
  year = "1997",
  booktitle = "Proceedings of the International Symposium on Category Theory In Computer Science",
  editor = "E. Moggi and G. Rosolini",
  pages = "147-158",
  publisher = "Springer-Verlag",
  series = "Springer Lecture Notes in Computer Science",
  volume = "1290",
}