W. Wils, “Direct Integrals of Hilbert Spaces I”., Math. Scand., vol. 26, pp. 73–88, Jun. 1970.