Pedersen GK. Measure Theory for $C^*$ Algebras IV. Math. Scand. 1969;25:121-127. doi:10.7146/math.scand.a-10948