Pascal Tesson Denis Thérien The Computing Power of Programs over Finite Monoids. 247-258 2002 7 Journal of Automata, Languages and Combinatorics 2 db/journals/jalc/jalc7.html#TessonT02