Pietro Grossi : selected writings