Publications by authors named "Gerrit J van de Pol"