Pedersen, G.K. (1968) “Measure Theory for $C^*$ Algebras II”., Mathematica Scandinavica, 22, pp. 63–74. doi:10.7146/math.scand.a-10871.