Direct integral theory - Nielsen, Ole A., 1942- (M. Dekker, 1980)