@TechReport{      MilnerTofte,
  Author        = "Milner, Robin and Tofte, Mads",
  date-added    = "2012-06-04 09:16:40 +0200",
  date-modified = "2012-06-04 09:17:28 +0200",
  Institution   = "University of Edinburgh",
  Title         = "Co-induction in Relational Semantics",
  Year          = "1988",
  File          = "Co-induction in Relational Semantics - Milner, Tofte (0) (0) - a - a - m.pdf"
}

@TechReport{ MilnerTofte, Author = "Milner, Robin and Tofte, Mads", date-added = "2012-06-04 09:16:40 +0200", date-modified = "2012-06-04 09:17:28 +0200", Institution = "University of Edinburgh", Title = "Co-induction in Relational Semantics", Year = "1988", File = "Co-induction in Relational Semantics - Milner, Tofte (0) (0) - a - a - m.pdf" }