J.T.P. De Bruijn (introduction)