@inproceedings{PavlovicD:SIC,
  title = "Specifying Interaction Categories",
  author = "Dusko Pavlovic and Samson Abramsky",
  year = "1997",
  booktitle = "Category Theory and Computer Science '97",
  editor = "E.~Moggi and G.~Rosolini",
  pages = "147--158",
  publisher = "Springer Verlag",
  series = "Lecture Notes in Computer Science",
  url = "ftp://ftp.kestrel.edu/pub/papers/pavlovic/SIC.ps",
  volume = "1290",
}