The theory of W[*]-algebras