@TechReport{      RR-11-10,
  Author        = "Kupke, Clemens and Niqui, Milad and Rutten, Jan",
  affiliation   = "DCS",
  date-added    = "2012-04-19 19:30:29 +0200",
  date-modified = "2012-04-19 19:30:50 +0200",
  Keywords      = "readme",
  Number        = "RR-11-10",
  Pages         = "28",
  Title         = "Stream Differential Equations: concrete formats for coinductive definitions",
  Year          = "2011",
  File          = "Stream Differential Equations concrete formats for coinductive definitions - Kupke, Niqui, Rutten (0) (0) - a - a - s.pdf"
}

@TechReport{ RR-11-10, Author = "Kupke, Clemens and Niqui, Milad and Rutten, Jan", affiliation = "DCS", date-added = "2012-04-19 19:30:29 +0200", date-modified = "2012-04-19 19:30:50 +0200", Keywords = "readme", Number = "RR-11-10", Pages = "28", Title = "Stream Differential Equations: concrete formats for coinductive definitions", Year = "2011", File = "Stream Differential Equations concrete formats for coinductive definitions - Kupke, Niqui, Rutten (0) (0) - a - a - s.pdf" }