@inproceedings{PavlovicD:FOSSACS01,
  title = "Categories of processes enriched in final coalgebras",
  author = "Sava Krsti/'c and John Launchbury and Dusko Pavlovi\'c",
  year = "2001",
  booktitle = "Proceedings of FoSSaCS 2001",
  editor = "Furio Honsell",
  pages = "303--317",
  publisher = "Springer Verlag",
  series = "Lecture Notes in Computer Science",
  url = "ftp://ftp.kestrel.edu/pub/papers/pavlovic/HYP.ps",
  volume = "2030",
}