En 1972, el historiador salvadoreño Jorge Arias Gómez publicó la obra "Farabundo Martí.