,
Springer
Lecture Notes in Computer Science
International Colloquium on Automata, Languages and Programming
Computer Security

Rutten, J. (1999). Automata, power series, and coinduction: taking input derivatives seriously (extended abstract). Proceedings of Automata, Languages and Programming, International Colloquium 1999, 645–654.