Interesting IEEE "Computer" article on IAS and von Neumann