Mathematical foundations of quantum mechanics (Princeton [N.J.] Princeton University Press, 1955)