Fernández Ruiz, J. Obituario. RFDM 2018, 68, 1029-1032.