Publications by the researcher in collaboration with Hans Tromp (1)