@TechReport{      Kozen:2012fk,
  Author        = "Kozen, Dexter and Silva, Alexandra",
  date-added    = "2014-03-28 09:20:32 +0000",
  date-modified = "2014-03-28 09:21:22 +0000",
  Keywords      = "readme",
  Title         = "Practical Coinduction",
  Year          = "2012",
  File          = "Practical Coinduction - Kozen, Silva (0) (0) - a - a - j.pdf",
  file-2        = "Practical Coinduction - Kozen, Silva (1) (0) - a - a - j.pdf"
}

@TechReport{ Kozen:2012fk, Author = "Kozen, Dexter and Silva, Alexandra", date-added = "2014-03-28 09:20:32 +0000", date-modified = "2014-03-28 09:21:22 +0000", Keywords = "readme", Title = "Practical Coinduction", Year = "2012", File = "Practical Coinduction - Kozen, Silva (0) (0) - a - a - j.pdf", file-2 = "Practical Coinduction - Kozen, Silva (1) (0) - a - a - j.pdf" }