@techreport{RR-11-10,
  title = "Stream Differential Equations: concrete formats for coinductive definitions",
  author = "Clemens Kupke and Milad Niqui and Jan Rutten",
  year = "2011",
  affiliation = "DCS",
  number = "RR-11-10",
  pages = "28",
}