Publications by authors named "G Bordmann"