A Type System for Weighted Automata and Rational Expressions, An XML format proposal for the description of weighted automata, transducers, and regular expressions, Derived-Term Automata of Multitape Rational Expressions, Derived-Term Automata of Weighted Rational Expressions with Quotient Operators, Derived-term Automata for Extended Weighted Rational Expressions, Implementation Concepts in Vaucanson 2, Inside Vaucanson, Introducing Vaucanson, On orthogonal specialization in C++: dealing with efficiency and algebraic abstraction in Vaucanson