Publications by authors named "Holzmann D"