Pavlov, 2020. Gelfand-type duality for commutative von Neumann algebras.