Publications by authors named "Anton van der Vegt"