J. Vesterstrom and W. Wils, “Direct Integrals of Hilbert Spaces II”., Math. Scand., vol. 26, pp. 89–102, Jun. 1970.