Jirí Adámek Stephen L. Bloom Stefan Milius On Algebras with Iteration. 1047-1085 2008 18 J. Log. Comput. 6 http://dx.doi.org/10.1093/logcom/exn035 db/journals/logcom/logcom18.html#AdamekBM08