Publications by authors named "Patrick J H de Koning"