Publications by 'Bertrand Meyer 0001'