González Martínez, Lola: “Pedro de la Rosa”, en Real Academia de la Historia, Diccionario Biográfico electrónico, 2019.