Publications by 'Dieter Devos'