Operai e contadini nella grande guerra A cura di Mario Isnenghi - Isnenghi, Mario