Gérard Becher Patrice Enjalbert Estelle Fievé Laurent Gosselin François Lévy Gérard Ligozat http://arxiv.org/abs/cs/0610004 2006 CoRR abs/cs/0610004 db/journals/corr/corr0610.html#abs-cs-0610004 informal publication