Publications by authors named "Klaus Holzmann"