"B. De Neumann"