Publications by authors named "B Hintermann"