Zashev, J. Least Fixed Points in Monoidal Categories With Cartesian Structure on Objects. Ann. Sofia Univ. Fac. Math. and Inf. 1993, 84, 23-42.