Ésik, Z. (1990). A note on the axiomatization of iteration theories. Acta Cybernetica, 9(4), 375-384. Retrieved from https://cyber.bibl.u-szeged.hu/index.php/actcybern/article/view/3382