Publications by 'Ruedi Steinmann'