"B. L. van der Waerden"