J. Power, G. L. Cattani, and G. Winskel, “A Representation Result for Free Cocompletions”, BRICS, vol. 5, no. 21, Jan. 1998.