N. W. Pedersen, “The Resolutions of the Identity for Sums and Products of Commuting Spectral Operators”., Math. Scand., vol. 11, pp. 123–130, Jun. 1962.