J. Majadas, “Derived de Rham Complex and Cyclic Homology”., Math. Scand., vol. 79, pp. 176–188, Jun. 1996.