Z. Ésik, “Axiomatizing iteration categories”, Acta Cybern, vol. 14, no. 1, pp. 65-82, Jan. 1999.