J. García Batán, Obituario de Evelio Felipe Machado Ramírez, RDD, vol. 15, n.º 2, pp. 274-275, ago. 2021.