Mathematical foundations of quantum mechanics - Von Neumann, John; Beyer, Robert T. (Princeton University Press, 1983)