Coinductive counting with weighted automata (2003)

by J J M M Rutten
Venue:Journal of Automata, Languages and Combinatorics