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