Kock, A. (1970) “On Double Dualization Monads”., Mathematica Scandinavica, 27, pp. 151–165. doi:10.7146/math.scand.a-10995.