Publications by authors named "HOLZMANN H"