Stream Differential Equations: concrete formats for coinductive definitions (2011)

by Clemens Kupke , Milad Niqui , Jan Rutten