Zashev, J. 1993. Least fixed points in monoidal categories with cartesian structure on objects. Ann. Sofia Univ. Fac. Math. and Inf. 84, (Dec. 1993), 23–42.