Publications by 'P. J. M. van der Lugt'