@Unpublished{     Bart-Jacobs,
  Author        = "Jacobs, Bart and Rutten, Jan",
  date-added    = "2012-04-25 13:46:58 +0200",
  date-modified = "2012-12-17 10:44:02 +0000",
  Keywords      = "bisimulation equivalence and coinduction and readme",
  Title         = "A tutorial on (co)algebras and (co)induction",
  File          = "A tutorial on (co)algebras and (co)induction - Jacobs, Rutten (0) (0) - a - a - o.pdf",
  file-2        = "A tutorial on (co)algebras and (co)induction - Jacobs, Rutten (0) (0) - a - a - o.ps"
}

@Unpublished{ Bart-Jacobs, Author = "Jacobs, Bart and Rutten, Jan", date-added = "2012-04-25 13:46:58 +0200", date-modified = "2012-12-17 10:44:02 +0000", Keywords = "bisimulation equivalence and coinduction and readme", Title = "A tutorial on (co)algebras and (co)induction", File = "A tutorial on (co)algebras and (co)induction - Jacobs, Rutten (0) (0) - a - a - o.pdf", file-2 = "A tutorial on (co)algebras and (co)induction - Jacobs, Rutten (0) (0) - a - a - o.ps" }