Mathematical foundations of quantum mechanics - Von Neumann, John. 1903-1957 (Princeton landmarks in mathematics., 1983)