power series, and coinduction: taking input derivatives seriously (extended abstract (1999)

by Automata
Venue:Also in the proceedings of ICALP '99, LNCS 1644