Mathematical foundations of quantum mechanics - Von Neumann, John 1903-1957 (Princeton University Press, 1983)