https://www.anpiudine.org/ricordo-del-partigiano-giovanni-battista-rocco-nome-di-battaglia-marte/
Ricordo del partigiano Giovanni Battista Rocco, nome di battaglia Marte