A. L. T. Paterson, “Contractive Spectral Triples for Crossed Products”, Math. Scand., vol. 114, no. 2, pp. 275–298, May 2014, doi: 10.7146/math.scand.a-17112.