Mariscal Petain - Castro Ruiz, Ernesto (Los Revolucionarios del siglo XX (Promoción y Ediciones), 1980)