Mathematical foundations of quantum mechanics - von Neumann, John (Princeton University Press, 1955)