Pedersen, G.K. (1969) “Measure Theory for $C^*$ Algebras III”., Mathematica Scandinavica, 25, pp. 71–93. doi:10.7146/math.scand.a-10942.