Theory of operator algebras I / - Takesaki, Masamichi (Springer-Verlag, 1979)