Behavioural dierential equations: a coinductive calculus of streams, automata, and power series (2000)

by J J M M Rutten
Venue:CWI - Centrum voor Wiskunde en Informatica