Publications by authors named "I A Harmsen"