Pedersen, Niels Wendell. “The Resolutions of the Identity for Sums and Products of Commuting Spectral Operators”. Mathematica Scandinavica, vol. 11, June 1962, pp. 123-30, https://doi.org/10.7146/math.scand.a-10658.