Mathematical foundations of quantum mechanics - Von Neumann, John (Princeton landmarks in mathematics and physics, 1983)