Pedersen, N. W. “The Resolutions of the Identity for Sums and Products of Commuting Spectral Operators”. MATHEMATICA SCANDINAVICA, vol. 11, June 1962, pp. 123-30, doi:10.7146/math.scand.a-10658.