Publications by authors named "Hans Pannekoek"