A. Kock, “On Double Dualization Monads”., Math. Scand., vol. 27, pp. 151–165, Jun. 1970.