Searching for "Behavioural differential equations a coinductive calculus of streams, automata, and power series." – sorted by Relevance.