@article{PavlovicD:GIFC,
  author = "Dusko Pavlovi\'c",
  journal = "E. Notes in Theor. Comp. Sci.",
  pages = "143--160",
  title = "Guarded induction on final coalgebras",
  url = "http://www.elsevier.nl/locate/entcs",
  volume = "11",
  year = "1998",
}