"au:"Diederik J. W. Dekker"" — arXiv2 Search