Publications by authors named "Rudolf Hopf"