Ésik, Z. 1999. Axiomatizing iteration categories. Acta Cybernetica. 14, 1 (Jan. 1999), 65-82.