Theory of operator algebras - Takesaki, Masamichi (Encyclopaedia of mathematical sciences, Operator algebras and non-commutative geometry, 2003)