Majadas, J. (1996) “Derived de Rham Complex and Cyclic Homology”., Mathematica Scandinavica, 79, pp. 176–188. doi:10.7146/math.scand.a-12599.