N. A. Mangas Navarro, «Pedro de Gracia Dei: un bosuqejo biográfico», Estud. rom., vol. 29, nov. 2020.