Pascal Tesson Denis Thérien The Computing Power of Programs over Finite Monoids Electronic Colloquium on Computational Complexity (ECCC) 2001 8 5 db/journals/eccc/eccc8.html#ECCC-TR01-005 http://eccc.hpi-web.de/eccc-reports/2001/TR01-005/index.html