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

by Automata
Venue:Proceedings of the 26th International Colloquium on Automata, Languages and Programming (ICALP