Kock, A. (1971) “Bilinearity and Cartesian Closed Monads”., MATHEMATICA SCANDINAVICA, 29, pp. 161–174. doi: 10.7146/math.scand.a-11042.