J. G. De Man's scientific contributions