Pedersen GK. Measure Theory for $C^*$ Algebras II. Math. Scand. 1968;22:63-74. doi:10.7146/math.scand.a-10871