Zashev, J. (1993). Least fixed points in monoidal categories with cartesian structure on objects. Ann. Sofia Univ. Fac. Math. And Inf., 84, 23–42. Retrieved from https://annual.uni-sofia.bg/index.php/fmi/article/view/465