Pedersen GK. Measure Theory for $C^*$ Algebras. Math. Scand. 1966;19:131-145. doi:10.7146/math.scand.a-10802