Pedersen, N. W. The Resolutions of the Identity for Sums and Products of Commuting Spectral Operators. Math. Scand. 1962, 11, 123-130. https://doi.org/10.7146/math.scand.a-10658.