@misc{indiciae0e0fdc97bbc9, title = {Equational axioms associated with finite automata for fixed point operations in cartesian categories}, author = {Zoltan Esik}, year = {2015}, doi = {10.1017/s0960129515000031}, url = {https://arxiv.org/abs/1501.02190}, note = {Source identifier: 1501.02190} }