46L10 - Functional analysis :: Selfadjoint operator algebras :: General theory of von Neumann algebras