J. Majadas, “Derived de Rham Complex and Cyclic Homology”., Math. Scand., vol. 79, pp. 176–188, Jun. 1996, doi: 10.7146/math.scand.a-12599.