Oliveira JN.? 2012.??Typed Linear Algebra for Weighted (Probabilistic) Automata. CIAA - 17th International Conference on Implementation and Application of Automata . 7381:52-65.