Publications by authors named "G Hintermann"