@InProceedings{EscardoPavlovic:LICS:1998,
  Author        = "Pavlovic, D. and Escard\'{o}, M. H.",
  url = {http://dx.doi.org/10.1109/lics.1998.705675},
  doi = {10.1109/lics.1998.705675},
  pages = {408--417},
  Address       = "USA",
  BookTitle     = "Proceedings of the 13th Annual IEEE Symposium on Logic in Computer Science",
  date-added    = "2023-03-25 19:23:53 +0100",
  date-modified = "2023-03-25 19:23:53 +0100",
  ISBN          = "0818685069",
  Publisher     = "IEEE Computer Society",
  Series        = "LICS '98",
  Title         = "Calculus in Coinductive Form",
  Year          = "1998",
  File          = "Calculus in coinductive form - b.pdf"
}

@InProceedings{EscardoPavlovic:LICS:1998, Author = "Pavlovic, D. and Escard\'{o}, M. H.", url = {http://dx.doi.org/10.1109/lics.1998.705675}, doi = {10.1109/lics.1998.705675}, pages = {408--417}, Address = "USA", BookTitle = "Proceedings of the 13th Annual IEEE Symposium on Logic in Computer Science", date-added = "2023-03-25 19:23:53 +0100", date-modified = "2023-03-25 19:23:53 +0100", ISBN = "0818685069", Publisher = "IEEE Computer Society", Series = "LICS '98", Title = "Calculus in Coinductive Form", Year = "1998", File = "Calculus in coinductive form - b.pdf" }