Mathematical Foundations of Quantum Mechanics - Neumann, John v. (Princeton Lanomarks in Mathematics, 1995)