Linares, Ángel Luis, “Voz: «López-Bravo, Gregorio»”, en Diccionario biográfico español, vol. XXX, Madrid, Real Academia de la Historia, 2012, pp. 746-750.