Computation of moments for probabilistic finite-state automata | Publicación