Denis Thérien Programs over Aperiodic Monoids. 271-280 1989 64 Theor. Comput. Sci. 3 db/journals/tcs/tcs64.html#Therien89 http://dx.doi.org/10.1016/0304-3975(89)90051-0