@inproceedings{PavlovicD:ManaFest,
  author = "Dusko Pavlovic and Peter Pepper and Douglas R.~Smith",
  booktitle = "Verification --- Theory and Practice. Essays Dedicated to Zohar Mana on the Occasion of His 64th Birthday",
  editor = "Nachum Dershowitz",
  pages = "568--597",
  publisher = "Springer Verlag",
  series = "Lecture Notes in Computer Science",
  title = "Colimits for Concurrent Collectors",
  volume = "2772",
  year = "2003",
}