Publications by authors named "Petr Buchmann"