Publications by Josef Kraus