differential equations: a coinductive calculus of streams, automata (0)

by Behavioural
Venue:and power series, TR SEN-R0023, CWI