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