,
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). In Proceedings of Automata, Languages and Programming, International Colloquium 1999 (pp. 645–654). Springer.