Jan J. M. M. Rutten. Coinductive Counting with Weighted Automata. Journal of Automata, Languages and Combinatorics, 8(2):319-352, 2003.
@article{Rutten03:1, title = {Coinductive Counting with Weighted Automata}, author = {Jan J. M. M. Rutten}, year = {2003}, researchr = {https://researchr.org/publication/Rutten03%3A1}, cites = {0}, citedby = {0}, journal = {Journal of Automata, Languages and Combinatorics}, volume = {8}, number = {2}, pages = {319-352}, }