Publications by 'Dieter Scheffner'