Publications by 'D. J. van Eden'