Publications by 'Michael Buchmann'