Gómez Barrientos, E. Juan María Gómez. repertoriohistorico 2020, 1, 583-617.