Publications by authors named "C J A M de Koning"