Publications by authors named "Bernhard Spitzer"