Vesterstrom, J. and Wils, W. (1970) “Direct Integrals of Hilbert Spaces II”., MATHEMATICA SCANDINAVICA, 26, pp. 89–102. doi: 10.7146/math.scand.a-10968.