@inproceedings{PavlovicD:LAPL,
  title = "Calculus in coinductive form",
  author = "Dusko Pavlovi\'c and Mart\'{\i}n Escard\'o",
  year = "1998",
  booktitle = "Proceedings. Thirteenth Annual IEEE Symposium on Logic in Computer Science",
  editor = "V. Pratt",
  pages = "408--417",
  publisher = "IEEE Computer Society",
  url = "ftp://ftp.kestrel.edu/pub/papers/pavlovic/LAPL.ps",
}