Publications by authors named "D Frostholm"