Publications by authors named "Hans J de Haas"