Z. Ésik, “A note on the axiomatization of iteration theories”, Acta Cybern, vol. 9, no. 4, pp. 375-384, Jan. 1990.