N. A. Mangas Navarro, «Pedro de Gracia Dei: datos para la reconstrucción de una biografía», Estud. rom., vol. 29, nov. 2020.