Publications by 'Christian Petzold'