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