Pedersen GK. Measure Theory for $C^*$ Algebras III. Math. Scand. 1969;25:71-93. doi:10.7146/math.scand.a-10942